#168 Change folder structure

SmartContractSecurity · Feb 8, 2019 · 42b69da · 42b69da
1 parent 8f3a853
commit 42b69da
Show file tree

Hide file tree

Showing 305 changed files with 0 additions and 0 deletions.
diff --git a/test_cases/arbitrary_jump/FunctionTypes.json → ...ary_jump/FunctionTypes/FunctionTypes.json b/test_cases/arbitrary_jump/FunctionTypes.json → ...ary_jump/FunctionTypes/FunctionTypes.json
diff --git a/test_cases/arbitrary_jump/FunctionTypes.sol → ...rary_jump/FunctionTypes/FunctionTypes.sol b/test_cases/arbitrary_jump/FunctionTypes.sol → ...rary_jump/FunctionTypes/FunctionTypes.sol
diff --git a/test_cases/arbitrary_jump/FunctionTypes.yaml → ...ary_jump/FunctionTypes/FunctionTypes.yaml b/test_cases/arbitrary_jump/FunctionTypes.yaml → ...ary_jump/FunctionTypes/FunctionTypes.yaml
diff --git a/...assert_violations/assert_constructor.json → ...ssert_constructor/assert_constructor.json b/...assert_violations/assert_constructor.json → ...ssert_constructor/assert_constructor.json
diff --git a/.../assert_violations/assert_constructor.sol → ...assert_constructor/assert_constructor.sol b/.../assert_violations/assert_constructor.sol → ...assert_constructor/assert_constructor.sol
diff --git a/...assert_violations/assert_constructor.yaml → ...ssert_constructor/assert_constructor.yaml b/...assert_violations/assert_constructor.yaml → ...ssert_constructor/assert_constructor.yaml
diff --git a/...ses/assert_violations/assert_minimal.json → ...ations/assert_minimal/assert_minimal.json b/...ses/assert_violations/assert_minimal.json → ...ations/assert_minimal/assert_minimal.json
diff --git a/...ases/assert_violations/assert_minimal.sol → ...lations/assert_minimal/assert_minimal.sol b/...ases/assert_violations/assert_minimal.sol → ...lations/assert_minimal/assert_minimal.sol
diff --git a/...ses/assert_violations/assert_minimal.yaml → ...ations/assert_minimal/assert_minimal.yaml b/...ses/assert_violations/assert_minimal.yaml → ...ations/assert_minimal/assert_minimal.yaml
diff --git a/...s/assert_violations/assert_multitx_1.json → ...ns/assert_multitx_1/assert_multitx_1.json b/...s/assert_violations/assert_multitx_1.json → ...ns/assert_multitx_1/assert_multitx_1.json
diff --git a/...es/assert_violations/assert_multitx_1.sol → ...ons/assert_multitx_1/assert_multitx_1.sol b/...es/assert_violations/assert_multitx_1.sol → ...ons/assert_multitx_1/assert_multitx_1.sol
diff --git a/...s/assert_violations/assert_multitx_1.yaml → ...ns/assert_multitx_1/assert_multitx_1.yaml b/...s/assert_violations/assert_multitx_1.yaml → ...ns/assert_multitx_1/assert_multitx_1.yaml
diff --git a/...s/assert_violations/assert_multitx_2.json → ...ns/assert_multitx_2/assert_multitx_2.json b/...s/assert_violations/assert_multitx_2.json → ...ns/assert_multitx_2/assert_multitx_2.json
diff --git a/...es/assert_violations/assert_multitx_2.sol → ...ons/assert_multitx_2/assert_multitx_2.sol b/...es/assert_violations/assert_multitx_2.sol → ...ons/assert_multitx_2/assert_multitx_2.sol
diff --git a/...s/assert_violations/assert_multitx_2.yaml → ...ns/assert_multitx_2/assert_multitx_2.yaml b/...s/assert_violations/assert_multitx_2.yaml → ...ns/assert_multitx_2/assert_multitx_2.yaml
diff --git a/...assert_violations/constructor_create.json → ...onstructor_create/constructor_create.json b/...assert_violations/constructor_create.json → ...onstructor_create/constructor_create.json
diff --git a/.../assert_violations/constructor_create.sol → ...constructor_create/constructor_create.sol b/.../assert_violations/constructor_create.sol → ...constructor_create/constructor_create.sol
diff --git a/...assert_violations/constructor_create.yaml → ...onstructor_create/constructor_create.yaml b/...assert_violations/constructor_create.yaml → ...onstructor_create/constructor_create.yaml
diff --git a/...olations/constructor_create_argument.json → ...argument/constructor_create_argument.json b/...olations/constructor_create_argument.json → ...argument/constructor_create_argument.json
diff --git a/...iolations/constructor_create_argument.sol → ..._argument/constructor_create_argument.sol b/...iolations/constructor_create_argument.sol → ..._argument/constructor_create_argument.sol
diff --git a/...olations/constructor_create_argument.yaml → ...argument/constructor_create_argument.yaml b/...olations/constructor_create_argument.yaml → ...argument/constructor_create_argument.yaml
diff --git a/...ations/constructor_create_modifiable.json → ...fiable/constructor_create_modifiable.json b/...ations/constructor_create_modifiable.json → ...fiable/constructor_create_modifiable.json
diff --git a/...lations/constructor_create_modifiable.sol → ...ifiable/constructor_create_modifiable.sol b/...lations/constructor_create_modifiable.sol → ...ifiable/constructor_create_modifiable.sol
diff --git a/...ations/constructor_create_modifiable.yaml → ...fiable/constructor_create_modifiable.yaml b/...ations/constructor_create_modifiable.yaml → ...fiable/constructor_create_modifiable.yaml
diff --git a/test_cases/assert_violations/gas_model.json → ...ssert_violations/gas_model/gas_model.json b/test_cases/assert_violations/gas_model.json → ...ssert_violations/gas_model/gas_model.json
diff --git a/test_cases/assert_violations/gas_model.sol → ...assert_violations/gas_model/gas_model.sol b/test_cases/assert_violations/gas_model.sol → ...assert_violations/gas_model/gas_model.sol
diff --git a/test_cases/assert_violations/gas_model.yaml → ...ssert_violations/gas_model/gas_model.yaml b/test_cases/assert_violations/gas_model.yaml → ...ssert_violations/gas_model/gas_model.yaml
diff --git a/...es/assert_violations/gas_model_fixed.json → ...ions/gas_model_fixed/gas_model_fixed.json b/...es/assert_violations/gas_model_fixed.json → ...ions/gas_model_fixed/gas_model_fixed.json
diff --git a/...ses/assert_violations/gas_model_fixed.sol → ...tions/gas_model_fixed/gas_model_fixed.sol b/...ses/assert_violations/gas_model_fixed.sol → ...tions/gas_model_fixed/gas_model_fixed.sol
diff --git a/...es/assert_violations/gas_model_fixed.yaml → ...ions/gas_model_fixed/gas_model_fixed.yaml b/...es/assert_violations/gas_model_fixed.yaml → ...ions/gas_model_fixed/gas_model_fixed.yaml
diff --git a/...sert_violations/mapping_perfomance_2.json → ...ng_perfomance_2/mapping_perfomance_2.json b/...sert_violations/mapping_perfomance_2.json → ...ng_perfomance_2/mapping_perfomance_2.json
diff --git a/...ssert_violations/mapping_perfomance_2.sol → ...ing_perfomance_2/mapping_perfomance_2.sol b/...ssert_violations/mapping_perfomance_2.sol → ...ing_perfomance_2/mapping_perfomance_2.sol
diff --git a/...sert_violations/mapping_perfomance_2.yaml → ...ng_perfomance_2/mapping_perfomance_2.yaml b/...sert_violations/mapping_perfomance_2.yaml → ...ng_perfomance_2/mapping_perfomance_2.yaml
diff --git a/...ert_violations/mapping_performance_1.json → ..._performance_1/mapping_performance_1.json b/...ert_violations/mapping_performance_1.json → ..._performance_1/mapping_performance_1.json
diff --git a/...sert_violations/mapping_performance_1.sol → ...g_performance_1/mapping_performance_1.sol b/...sert_violations/mapping_performance_1.sol → ...g_performance_1/mapping_performance_1.sol
diff --git a/...ert_violations/mapping_performance_1.yaml → ..._performance_1/mapping_performance_1.yaml b/...ert_violations/mapping_performance_1.yaml → ..._performance_1/mapping_performance_1.yaml
diff --git a/...t_violations/out-of-bounds-exception.json → ...ds-exception/out-of-bounds-exception.json b/...t_violations/out-of-bounds-exception.json → ...ds-exception/out-of-bounds-exception.json
diff --git a/...rt_violations/out-of-bounds-exception.sol → ...nds-exception/out-of-bounds-exception.sol b/...rt_violations/out-of-bounds-exception.sol → ...nds-exception/out-of-bounds-exception.sol
diff --git a/...t_violations/out-of-bounds-exception.yaml → ...ds-exception/out-of-bounds-exception.yaml b/...t_violations/out-of-bounds-exception.yaml → ...ds-exception/out-of-bounds-exception.yaml
diff --git a/...violations/runtime_create_user_input.json → ...user_input/runtime_create_user_input.json b/...violations/runtime_create_user_input.json → ...user_input/runtime_create_user_input.json
diff --git a/..._violations/runtime_create_user_input.sol → ..._user_input/runtime_create_user_input.sol b/..._violations/runtime_create_user_input.sol → ..._user_input/runtime_create_user_input.sol
diff --git a/...violations/runtime_create_user_input.yaml → ...user_input/runtime_create_user_input.yaml b/...violations/runtime_create_user_input.yaml → ...user_input/runtime_create_user_input.yaml
diff --git a/...t_violations/runtime_user_input_call.json → ...r_input_call/runtime_user_input_call.json b/...t_violations/runtime_user_input_call.json → ...r_input_call/runtime_user_input_call.json
diff --git a/...rt_violations/runtime_user_input_call.sol → ...er_input_call/runtime_user_input_call.sol b/...rt_violations/runtime_user_input_call.sol → ...er_input_call/runtime_user_input_call.sol
diff --git a/...t_violations/runtime_user_input_call.yaml → ...r_input_call/runtime_user_input_call.yaml b/...t_violations/runtime_user_input_call.yaml → ...r_input_call/runtime_user_input_call.yaml
diff --git a/...ert_violations/sha_of_sha_2_mappings.json → ...sha_2_mappings/sha_of_sha_2_mappings.json b/...ert_violations/sha_of_sha_2_mappings.json → ...sha_2_mappings/sha_of_sha_2_mappings.json
diff --git a/...sert_violations/sha_of_sha_2_mappings.sol → ..._sha_2_mappings/sha_of_sha_2_mappings.sol b/...sert_violations/sha_of_sha_2_mappings.sol → ..._sha_2_mappings/sha_of_sha_2_mappings.sol
diff --git a/...ert_violations/sha_of_sha_2_mappings.yaml → ...sha_2_mappings/sha_of_sha_2_mappings.yaml b/...ert_violations/sha_of_sha_2_mappings.yaml → ...sha_2_mappings/sha_of_sha_2_mappings.yaml
diff --git a/...sert_violations/sha_of_sha_collision.json → ...f_sha_collision/sha_of_sha_collision.json b/...sert_violations/sha_of_sha_collision.json → ...f_sha_collision/sha_of_sha_collision.json
diff --git a/...ssert_violations/sha_of_sha_collision.sol → ...of_sha_collision/sha_of_sha_collision.sol b/...ssert_violations/sha_of_sha_collision.sol → ...of_sha_collision/sha_of_sha_collision.sol
diff --git a/...sert_violations/sha_of_sha_collision.yaml → ...f_sha_collision/sha_of_sha_collision.yaml b/...sert_violations/sha_of_sha_collision.yaml → ...f_sha_collision/sha_of_sha_collision.yaml
diff --git a/...ssert_violations/sha_of_sha_concrete.json → ..._of_sha_concrete/sha_of_sha_concrete.json b/...ssert_violations/sha_of_sha_concrete.json → ..._of_sha_concrete/sha_of_sha_concrete.json
diff --git a/...assert_violations/sha_of_sha_concrete.sol → ...a_of_sha_concrete/sha_of_sha_concrete.sol b/...assert_violations/sha_of_sha_concrete.sol → ...a_of_sha_concrete/sha_of_sha_concrete.sol
diff --git a/...ssert_violations/sha_of_sha_concrete.yaml → ..._of_sha_concrete/sha_of_sha_concrete.yaml b/...ssert_violations/sha_of_sha_concrete.yaml → ..._of_sha_concrete/sha_of_sha_concrete.yaml
diff --git a/...ssert_violations/token-with-backdoor.json → ...en-with-backdoor/token-with-backdoor.json b/...ssert_violations/token-with-backdoor.json → ...en-with-backdoor/token-with-backdoor.json
diff --git a/...assert_violations/token-with-backdoor.sol → ...ken-with-backdoor/token-with-backdoor.sol b/...assert_violations/token-with-backdoor.sol → ...ken-with-backdoor/token-with-backdoor.sol
diff --git a/...ssert_violations/token-with-backdoor.yaml → ...en-with-backdoor/token-with-backdoor.yaml b/...ssert_violations/token-with-backdoor.yaml → ...en-with-backdoor/token-with-backdoor.yaml
diff --git a/...ases/assert_violations/two_mapppings.json → ...olations/two_mapppings/two_mapppings.json b/...ases/assert_violations/two_mapppings.json → ...olations/two_mapppings/two_mapppings.json
diff --git a/...cases/assert_violations/two_mapppings.sol → ...iolations/two_mapppings/two_mapppings.sol b/...cases/assert_violations/two_mapppings.sol → ...iolations/two_mapppings/two_mapppings.sol
diff --git a/...ases/assert_violations/two_mapppings.yaml → ...olations/two_mapppings/two_mapppings.yaml b/...ases/assert_violations/two_mapppings.yaml → ...olations/two_mapppings/two_mapppings.yaml
diff --git a/..._cases/call_best_practices/send_loop.json → ...l_best_practices/send_loop/send_loop.json b/..._cases/call_best_practices/send_loop.json → ...l_best_practices/send_loop/send_loop.json
diff --git a/test_cases/call_best_practices/send_loop.sol → ...ll_best_practices/send_loop/send_loop.sol b/test_cases/call_best_practices/send_loop.sol → ...ll_best_practices/send_loop/send_loop.sol
diff --git a/..._cases/call_best_practices/send_loop.yaml → ...l_best_practices/send_loop/send_loop.yaml b/..._cases/call_best_practices/send_loop.yaml → ...l_best_practices/send_loop/send_loop.yaml
diff --git a/...est_practices/unchecked_return_value.json → ..._return_value/unchecked_return_value.json b/...est_practices/unchecked_return_value.json → ..._return_value/unchecked_return_value.json
diff --git a/...best_practices/unchecked_return_value.sol → ...d_return_value/unchecked_return_value.sol b/...best_practices/unchecked_return_value.sol → ...d_return_value/unchecked_return_value.sol
diff --git a/...est_practices/unchecked_return_value.yaml → ..._return_value/unchecked_return_value.yaml b/...est_practices/unchecked_return_value.yaml → ..._return_value/unchecked_return_value.yaml
diff --git a/test_cases/ctf/tokensalechallenge.json → ...okensalechallenge/tokensalechallenge.json b/test_cases/ctf/tokensalechallenge.json → ...okensalechallenge/tokensalechallenge.json
diff --git a/test_cases/ctf/tokensalechallenge.sol → ...tokensalechallenge/tokensalechallenge.sol b/test_cases/ctf/tokensalechallenge.sol → ...tokensalechallenge/tokensalechallenge.sol
diff --git a/test_cases/ctf/tokensalechallenge.yaml → ...okensalechallenge/tokensalechallenge.yaml b/test_cases/ctf/tokensalechallenge.yaml → ...okensalechallenge/tokensalechallenge.yaml
diff --git a/...ibility_functions/visibility_not_set.json → ...isibility_not_set/visibility_not_set.json b/...ibility_functions/visibility_not_set.json → ...isibility_not_set/visibility_not_set.json
diff --git a/...sibility_functions/visibility_not_set.sol → ...visibility_not_set/visibility_not_set.sol b/...sibility_functions/visibility_not_set.sol → ...visibility_not_set/visibility_not_set.sol
diff --git a/...ibility_functions/visibility_not_set.yaml → ...isibility_not_set/visibility_not_set.yaml b/...ibility_functions/visibility_not_set.yaml → ...isibility_not_set/visibility_not_set.yaml
diff --git a/...y_functions/visibility_not_set_fixed.json → ...t_set_fixed/visibility_not_set_fixed.json b/...y_functions/visibility_not_set_fixed.json → ...t_set_fixed/visibility_not_set_fixed.json
diff --git a/...ty_functions/visibility_not_set_fixed.sol → ...ot_set_fixed/visibility_not_set_fixed.sol b/...ty_functions/visibility_not_set_fixed.sol → ...ot_set_fixed/visibility_not_set_fixed.sol
diff --git a/...y_functions/visibility_not_set_fixed.yaml → ...t_set_fixed/visibility_not_set_fixed.yaml b/...y_functions/visibility_not_set_fixed.yaml → ...t_set_fixed/visibility_not_set_fixed.yaml
diff --git a/...default_visibility_variables/storage.json → ...visibility_variables/storage/storage.json b/...default_visibility_variables/storage.json → ...visibility_variables/storage/storage.json
diff --git a/.../default_visibility_variables/storage.sol → ..._visibility_variables/storage/storage.sol b/.../default_visibility_variables/storage.sol → ..._visibility_variables/storage/storage.sol
diff --git a/...default_visibility_variables/storage.yaml → ...visibility_variables/storage/storage.yaml b/...default_visibility_variables/storage.yaml → ...visibility_variables/storage/storage.yaml
diff --git a/...egate_call_to_untrusted_callee/proxy.json → ...call_to_untrusted_callee/proxy/proxy.json b/...egate_call_to_untrusted_callee/proxy.json → ...call_to_untrusted_callee/proxy/proxy.json
diff --git a/...legate_call_to_untrusted_callee/proxy.sol → ..._call_to_untrusted_callee/proxy/proxy.sol b/...legate_call_to_untrusted_callee/proxy.sol → ..._call_to_untrusted_callee/proxy/proxy.sol
diff --git a/...egate_call_to_untrusted_callee/proxy.yaml → ...call_to_untrusted_callee/proxy/proxy.yaml b/...egate_call_to_untrusted_callee/proxy.yaml → ...call_to_untrusted_callee/proxy/proxy.yaml
diff --git a/...call_to_untrusted_callee/proxy_fixed.json → ...usted_callee/proxy_fixed/proxy_fixed.json b/...call_to_untrusted_callee/proxy_fixed.json → ...usted_callee/proxy_fixed/proxy_fixed.json
diff --git a/..._call_to_untrusted_callee/proxy_fixed.sol → ...rusted_callee/proxy_fixed/proxy_fixed.sol b/..._call_to_untrusted_callee/proxy_fixed.sol → ...rusted_callee/proxy_fixed/proxy_fixed.sol
diff --git a/...call_to_untrusted_callee/proxy_fixed.yaml → ...usted_callee/proxy_fixed/proxy_fixed.yaml b/...call_to_untrusted_callee/proxy_fixed.yaml → ...usted_callee/proxy_fixed/proxy_fixed.yaml
diff --git a/..._callee/proxy_pattern_false_positive.json → ...ositive/proxy_pattern_false_positive.json b/..._callee/proxy_pattern_false_positive.json → ...ositive/proxy_pattern_false_positive.json
diff --git a/...d_callee/proxy_pattern_false_positive.sol → ...positive/proxy_pattern_false_positive.sol b/...d_callee/proxy_pattern_false_positive.sol → ...positive/proxy_pattern_false_positive.sol
diff --git a/..._callee/proxy_pattern_false_positive.yaml → ...ositive/proxy_pattern_false_positive.yaml b/..._callee/proxy_pattern_false_positive.yaml → ...ositive/proxy_pattern_false_positive.yaml
diff --git a/...recated_constructs/deprecated_simple.json → .../deprecated_simple/deprecated_simple.json b/...recated_constructs/deprecated_simple.json → .../deprecated_simple/deprecated_simple.json
diff --git a/...precated_constructs/deprecated_simple.sol → ...s/deprecated_simple/deprecated_simple.sol b/...precated_constructs/deprecated_simple.sol → ...s/deprecated_simple/deprecated_simple.sol
diff --git a/...recated_constructs/deprecated_simple.yaml → .../deprecated_simple/deprecated_simple.yaml b/...recated_constructs/deprecated_simple.yaml → .../deprecated_simple/deprecated_simple.yaml
diff --git a/test_cases/dos_gas_limit/dos_address.json → ...os_gas_limit/dos_address/dos_address.json b/test_cases/dos_gas_limit/dos_address.json → ...os_gas_limit/dos_address/dos_address.json
diff --git a/test_cases/dos_gas_limit/dos_address.sol → ...dos_gas_limit/dos_address/dos_address.sol b/test_cases/dos_gas_limit/dos_address.sol → ...dos_gas_limit/dos_address/dos_address.sol
diff --git a/test_cases/dos_gas_limit/dos_address.yaml → ...os_gas_limit/dos_address/dos_address.yaml b/test_cases/dos_gas_limit/dos_address.yaml → ...os_gas_limit/dos_address/dos_address.yaml
diff --git a/test_cases/dos_gas_limit/dos_number.json → .../dos_gas_limit/dos_number/dos_number.json b/test_cases/dos_gas_limit/dos_number.json → .../dos_gas_limit/dos_number/dos_number.json
diff --git a/test_cases/dos_gas_limit/dos_number.sol → ...y/dos_gas_limit/dos_number/dos_number.sol b/test_cases/dos_gas_limit/dos_number.sol → ...y/dos_gas_limit/dos_number/dos_number.sol
diff --git a/test_cases/dos_gas_limit/dos_number.yaml → .../dos_gas_limit/dos_number/dos_number.yaml b/test_cases/dos_gas_limit/dos_number.yaml → .../dos_gas_limit/dos_number/dos_number.yaml
diff --git a/test_cases/dos_gas_limit/dos_simple.json → .../dos_gas_limit/dos_simple/dos_simple.json b/test_cases/dos_gas_limit/dos_simple.json → .../dos_gas_limit/dos_simple/dos_simple.json
diff --git a/test_cases/dos_gas_limit/dos_simple.sol → ...y/dos_gas_limit/dos_simple/dos_simple.sol b/test_cases/dos_gas_limit/dos_simple.sol → ...y/dos_gas_limit/dos_simple/dos_simple.sol
diff --git a/test_cases/dos_gas_limit/dos_simple.yaml → .../dos_gas_limit/dos_simple/dos_simple.yaml b/test_cases/dos_gas_limit/dos_simple.yaml → .../dos_gas_limit/dos_simple/dos_simple.yaml
diff --git a/...rrect_inheritance_order/MDTCrowdsale.json → ...ance_order/MDTCrowdsale/MDTCrowdsale.json b/...rrect_inheritance_order/MDTCrowdsale.json → ...ance_order/MDTCrowdsale/MDTCrowdsale.json
diff --git a/...orrect_inheritance_order/MDTCrowdsale.sol → ...tance_order/MDTCrowdsale/MDTCrowdsale.sol b/...orrect_inheritance_order/MDTCrowdsale.sol → ...tance_order/MDTCrowdsale/MDTCrowdsale.sol
diff --git a/...rrect_inheritance_order/MDTCrowdsale.yaml → ...ance_order/MDTCrowdsale/MDTCrowdsale.yaml b/...rrect_inheritance_order/MDTCrowdsale.yaml → ...ance_order/MDTCrowdsale/MDTCrowdsale.yaml
diff --git a/..._underflow/integer_overflow_benign_1.json → ...w_benign_1/integer_overflow_benign_1.json b/..._underflow/integer_overflow_benign_1.json → ...w_benign_1/integer_overflow_benign_1.json
diff --git a/...d_underflow/integer_overflow_benign_1.sol → ...ow_benign_1/integer_overflow_benign_1.sol b/...d_underflow/integer_overflow_benign_1.sol → ...ow_benign_1/integer_overflow_benign_1.sol
diff --git a/..._underflow/integer_overflow_benign_1.yaml → ...w_benign_1/integer_overflow_benign_1.yaml b/..._underflow/integer_overflow_benign_1.yaml → ...w_benign_1/integer_overflow_benign_1.yaml
diff --git a/...flow/integer_overflow_benign_1_fixed.json → ...ixed/integer_overflow_benign_1_fixed.json b/...flow/integer_overflow_benign_1_fixed.json → ...ixed/integer_overflow_benign_1_fixed.json
diff --git a/...rflow/integer_overflow_benign_1_fixed.sol → ...fixed/integer_overflow_benign_1_fixed.sol b/...rflow/integer_overflow_benign_1_fixed.sol → ...fixed/integer_overflow_benign_1_fixed.sol
diff --git a/...flow/integer_overflow_benign_1_fixed.yaml → ...ixed/integer_overflow_benign_1_fixed.yaml b/...flow/integer_overflow_benign_1_fixed.yaml → ...ixed/integer_overflow_benign_1_fixed.yaml
diff --git a/...rflow/integer_overflow_mapping_sym_1.json → ...sym_1/integer_overflow_mapping_sym_1.json b/...rflow/integer_overflow_mapping_sym_1.json → ...sym_1/integer_overflow_mapping_sym_1.json
diff --git a/...erflow/integer_overflow_mapping_sym_1.sol → ..._sym_1/integer_overflow_mapping_sym_1.sol b/...erflow/integer_overflow_mapping_sym_1.sol → ..._sym_1/integer_overflow_mapping_sym_1.sol
diff --git a/...rflow/integer_overflow_mapping_sym_1.yaml → ...sym_1/integer_overflow_mapping_sym_1.yaml b/...rflow/integer_overflow_mapping_sym_1.yaml → ...sym_1/integer_overflow_mapping_sym_1.yaml
diff --git a/...integer_overflow_mapping_sym_1_fixed.json → ...integer_overflow_mapping_sym_1_fixed.json b/...integer_overflow_mapping_sym_1_fixed.json → ...integer_overflow_mapping_sym_1_fixed.json
diff --git a/.../integer_overflow_mapping_sym_1_fixed.sol → .../integer_overflow_mapping_sym_1_fixed.sol b/.../integer_overflow_mapping_sym_1_fixed.sol → .../integer_overflow_mapping_sym_1_fixed.sol
diff --git a/...integer_overflow_mapping_sym_1_fixed.yaml → ...integer_overflow_mapping_sym_1_fixed.yaml b/...integer_overflow_mapping_sym_1_fixed.yaml → ...integer_overflow_mapping_sym_1_fixed.yaml
diff --git a/...d_underflow/integer_overflow_minimal.json → ...low_minimal/integer_overflow_minimal.json b/...d_underflow/integer_overflow_minimal.json → ...low_minimal/integer_overflow_minimal.json
diff --git a/...nd_underflow/integer_overflow_minimal.sol → ...flow_minimal/integer_overflow_minimal.sol b/...nd_underflow/integer_overflow_minimal.sol → ...flow_minimal/integer_overflow_minimal.sol
diff --git a/...d_underflow/integer_overflow_minimal.yaml → ...low_minimal/integer_overflow_minimal.yaml b/...d_underflow/integer_overflow_minimal.yaml → ...low_minimal/integer_overflow_minimal.yaml
diff --git a/...rflow/integer_overflow_minimal_fixed.json → ...fixed/integer_overflow_minimal_fixed.json b/...rflow/integer_overflow_minimal_fixed.json → ...fixed/integer_overflow_minimal_fixed.json
diff --git a/...erflow/integer_overflow_minimal_fixed.sol → ..._fixed/integer_overflow_minimal_fixed.sol b/...erflow/integer_overflow_minimal_fixed.sol → ..._fixed/integer_overflow_minimal_fixed.sol
diff --git a/...rflow/integer_overflow_minimal_fixed.yaml → ...fixed/integer_overflow_minimal_fixed.yaml b/...rflow/integer_overflow_minimal_fixed.yaml → ...fixed/integer_overflow_minimal_fixed.yaml
diff --git a/...w_and_underflow/integer_overflow_mul.json → ...er_overflow_mul/integer_overflow_mul.json b/...w_and_underflow/integer_overflow_mul.json → ...er_overflow_mul/integer_overflow_mul.json
diff --git a/...ow_and_underflow/integer_overflow_mul.sol → ...ger_overflow_mul/integer_overflow_mul.sol b/...ow_and_underflow/integer_overflow_mul.sol → ...ger_overflow_mul/integer_overflow_mul.sol
diff --git a/...w_and_underflow/integer_overflow_mul.yaml → ...er_overflow_mul/integer_overflow_mul.yaml b/...w_and_underflow/integer_overflow_mul.yaml → ...er_overflow_mul/integer_overflow_mul.yaml
diff --git a/...underflow/integer_overflow_mul_fixed.json → ...mul_fixed/integer_overflow_mul_fixed.json b/...underflow/integer_overflow_mul_fixed.json → ...mul_fixed/integer_overflow_mul_fixed.json
diff --git a/..._underflow/integer_overflow_mul_fixed.sol → ..._mul_fixed/integer_overflow_mul_fixed.sol b/..._underflow/integer_overflow_mul_fixed.sol → ..._mul_fixed/integer_overflow_mul_fixed.sol
diff --git a/...underflow/integer_overflow_mul_fixed.yaml → ...mul_fixed/integer_overflow_mul_fixed.yaml b/...underflow/integer_overflow_mul_fixed.yaml → ...mul_fixed/integer_overflow_mul_fixed.yaml
diff --git a/..._overflow_multitx_multifunc_feasible.json → ..._overflow_multitx_multifunc_feasible.json b/..._overflow_multitx_multifunc_feasible.json → ..._overflow_multitx_multifunc_feasible.json
diff --git a/...r_overflow_multitx_multifunc_feasible.sol → ...r_overflow_multitx_multifunc_feasible.sol b/...r_overflow_multitx_multifunc_feasible.sol → ...r_overflow_multitx_multifunc_feasible.sol
diff --git a/..._overflow_multitx_multifunc_feasible.yaml → ..._overflow_multitx_multifunc_feasible.yaml b/..._overflow_multitx_multifunc_feasible.yaml → ..._overflow_multitx_multifunc_feasible.yaml
diff --git a/...low_multitx_multifunc_feasible_fixed.json → ...low_multitx_multifunc_feasible_fixed.json b/...low_multitx_multifunc_feasible_fixed.json → ...low_multitx_multifunc_feasible_fixed.json
diff --git a/...flow_multitx_multifunc_feasible_fixed.sol → ...flow_multitx_multifunc_feasible_fixed.sol b/...flow_multitx_multifunc_feasible_fixed.sol → ...flow_multitx_multifunc_feasible_fixed.sol
diff --git a/...low_multitx_multifunc_feasible_fixed.yaml → ...low_multitx_multifunc_feasible_fixed.yaml b/...low_multitx_multifunc_feasible_fixed.yaml → ...low_multitx_multifunc_feasible_fixed.yaml
diff --git a/...er_overflow_multitx_onefunc_feasible.json → ...er_overflow_multitx_onefunc_feasible.json b/...er_overflow_multitx_onefunc_feasible.json → ...er_overflow_multitx_onefunc_feasible.json
diff --git a/...ger_overflow_multitx_onefunc_feasible.sol → ...ger_overflow_multitx_onefunc_feasible.sol b/...ger_overflow_multitx_onefunc_feasible.sol → ...ger_overflow_multitx_onefunc_feasible.sol
diff --git a/...er_overflow_multitx_onefunc_feasible.yaml → ...er_overflow_multitx_onefunc_feasible.yaml b/...er_overflow_multitx_onefunc_feasible.yaml → ...er_overflow_multitx_onefunc_feasible.yaml
diff --git a/...rflow_multitx_onefunc_feasible_fixed.json → ...rflow_multitx_onefunc_feasible_fixed.json b/...rflow_multitx_onefunc_feasible_fixed.json → ...rflow_multitx_onefunc_feasible_fixed.json
diff --git a/...erflow_multitx_onefunc_feasible_fixed.sol → ...erflow_multitx_onefunc_feasible_fixed.sol b/...erflow_multitx_onefunc_feasible_fixed.sol → ...erflow_multitx_onefunc_feasible_fixed.sol
diff --git a/...rflow_multitx_onefunc_feasible_fixed.yaml → ...rflow_multitx_onefunc_feasible_fixed.yaml b/...rflow_multitx_onefunc_feasible_fixed.yaml → ...rflow_multitx_onefunc_feasible_fixed.yaml
diff --git a/..._overflow_multitx_onefunc_infeasible.json → ..._overflow_multitx_onefunc_infeasible.json b/..._overflow_multitx_onefunc_infeasible.json → ..._overflow_multitx_onefunc_infeasible.json
diff --git a/...r_overflow_multitx_onefunc_infeasible.sol → ...r_overflow_multitx_onefunc_infeasible.sol b/...r_overflow_multitx_onefunc_infeasible.sol → ...r_overflow_multitx_onefunc_infeasible.sol
diff --git a/..._overflow_multitx_onefunc_infeasible.yaml → ..._overflow_multitx_onefunc_infeasible.yaml b/..._overflow_multitx_onefunc_infeasible.yaml → ..._overflow_multitx_onefunc_infeasible.yaml
diff --git a/...ow_and_underflow/overflow_simple_add.json → ...rflow_simple_add/overflow_simple_add.json b/...ow_and_underflow/overflow_simple_add.json → ...rflow_simple_add/overflow_simple_add.json
diff --git a/...low_and_underflow/overflow_simple_add.sol → ...erflow_simple_add/overflow_simple_add.sol b/...low_and_underflow/overflow_simple_add.sol → ...erflow_simple_add/overflow_simple_add.sol
diff --git a/...ow_and_underflow/overflow_simple_add.yaml → ...rflow_simple_add/overflow_simple_add.yaml b/...ow_and_underflow/overflow_simple_add.yaml → ...rflow_simple_add/overflow_simple_add.yaml
diff --git a/..._underflow/overflow_simple_add_fixed.json → ..._add_fixed/overflow_simple_add_fixed.json b/..._underflow/overflow_simple_add_fixed.json → ..._add_fixed/overflow_simple_add_fixed.json
diff --git a/...d_underflow/overflow_simple_add_fixed.sol → ...e_add_fixed/overflow_simple_add_fixed.sol b/...d_underflow/overflow_simple_add_fixed.sol → ...e_add_fixed/overflow_simple_add_fixed.sol
diff --git a/..._underflow/overflow_simple_add_fixed.yaml → ..._add_fixed/overflow_simple_add_fixed.yaml b/..._underflow/overflow_simple_add_fixed.yaml → ..._add_fixed/overflow_simple_add_fixed.yaml
diff --git a/...low_and_underflow/overflow_single_tx.json → ...verflow_single_tx/overflow_single_tx.json b/...low_and_underflow/overflow_single_tx.json → ...verflow_single_tx/overflow_single_tx.json
diff --git a/...flow_and_underflow/overflow_single_tx.sol → ...overflow_single_tx/overflow_single_tx.sol b/...flow_and_underflow/overflow_single_tx.sol → ...overflow_single_tx/overflow_single_tx.sol
diff --git a/...low_and_underflow/overflow_single_tx.yaml → ...verflow_single_tx/overflow_single_tx.yaml b/...low_and_underflow/overflow_single_tx.yaml → ...verflow_single_tx/overflow_single_tx.yaml
diff --git a/...tor_name/incorrect_constructor_name1.json → ...or_name1/incorrect_constructor_name1.json b/...tor_name/incorrect_constructor_name1.json → ...or_name1/incorrect_constructor_name1.json
diff --git a/...ctor_name/incorrect_constructor_name1.sol → ...tor_name1/incorrect_constructor_name1.sol b/...ctor_name/incorrect_constructor_name1.sol → ...tor_name1/incorrect_constructor_name1.sol
diff --git a/...tor_name/incorrect_constructor_name1.yaml → ...or_name1/incorrect_constructor_name1.yaml b/...tor_name/incorrect_constructor_name1.yaml → ...or_name1/incorrect_constructor_name1.yaml
diff --git a/...me/incorrect_constructor_name1_fixed.json → ...ed/incorrect_constructor_name1_fixed.json b/...me/incorrect_constructor_name1_fixed.json → ...ed/incorrect_constructor_name1_fixed.json
diff --git a/...ame/incorrect_constructor_name1_fixed.sol → ...xed/incorrect_constructor_name1_fixed.sol b/...ame/incorrect_constructor_name1_fixed.sol → ...xed/incorrect_constructor_name1_fixed.sol
diff --git a/...me/incorrect_constructor_name1_fixed.yaml → ...ed/incorrect_constructor_name1_fixed.yaml b/...me/incorrect_constructor_name1_fixed.yaml → ...ed/incorrect_constructor_name1_fixed.yaml
diff --git a/...tor_name/incorrect_constructor_name2.json → ...or_name2/incorrect_constructor_name2.json b/...tor_name/incorrect_constructor_name2.json → ...or_name2/incorrect_constructor_name2.json
diff --git a/...ctor_name/incorrect_constructor_name2.sol → ...tor_name2/incorrect_constructor_name2.sol b/...ctor_name/incorrect_constructor_name2.sol → ...tor_name2/incorrect_constructor_name2.sol
diff --git a/...tor_name/incorrect_constructor_name2.yaml → ...or_name2/incorrect_constructor_name2.yaml b/...tor_name/incorrect_constructor_name2.yaml → ...or_name2/incorrect_constructor_name2.yaml
diff --git a/...me/incorrect_constructor_name2_fixed.json → ...ed/incorrect_constructor_name2_fixed.json b/...me/incorrect_constructor_name2_fixed.json → ...ed/incorrect_constructor_name2_fixed.json
diff --git a/...ame/incorrect_constructor_name2_fixed.sol → ...xed/incorrect_constructor_name2_fixed.sol b/...ame/incorrect_constructor_name2_fixed.sol → ...xed/incorrect_constructor_name2_fixed.sol
diff --git a/...me/incorrect_constructor_name2_fixed.yaml → ...ed/incorrect_constructor_name2_fixed.yaml b/...me/incorrect_constructor_name2_fixed.yaml → ...ed/incorrect_constructor_name2_fixed.yaml
diff --git a/...tor_name/incorrect_constructor_name3.json → ...or_name3/incorrect_constructor_name3.json b/...tor_name/incorrect_constructor_name3.json → ...or_name3/incorrect_constructor_name3.json
diff --git a/...ctor_name/incorrect_constructor_name3.sol → ...tor_name3/incorrect_constructor_name3.sol b/...ctor_name/incorrect_constructor_name3.sol → ...tor_name3/incorrect_constructor_name3.sol
diff --git a/...tor_name/incorrect_constructor_name3.yaml → ...or_name3/incorrect_constructor_name3.yaml b/...tor_name/incorrect_constructor_name3.yaml → ...or_name3/incorrect_constructor_name3.yaml
diff --git a/...me/incorrect_constructor_name3_fixed.json → ...ed/incorrect_constructor_name3_fixed.json b/...me/incorrect_constructor_name3_fixed.json → ...ed/incorrect_constructor_name3_fixed.json
diff --git a/...ame/incorrect_constructor_name3_fixed.sol → ...xed/incorrect_constructor_name3_fixed.sol b/...ame/incorrect_constructor_name3_fixed.sol → ...xed/incorrect_constructor_name3_fixed.sol
diff --git a/...me/incorrect_constructor_name3_fixed.yaml → ...ed/incorrect_constructor_name3_fixed.yaml b/...me/incorrect_constructor_name3_fixed.yaml → ...ed/incorrect_constructor_name3_fixed.yaml
diff --git a/...dated_compiler_version/version_0_4_13.sol → ...version/version_0_4_13/version_0_4_13.sol b/...dated_compiler_version/version_0_4_13.sol → ...version/version_0_4_13/version_0_4_13.sol
diff --git a/...ated_compiler_version/version_0_4_13.yaml → ...ersion/version_0_4_13/version_0_4_13.yaml b/...ated_compiler_version/version_0_4_13.yaml → ...ersion/version_0_4_13/version_0_4_13.yaml
diff --git a/...es/pragma_not_locked/floating_pragma.json → ...cked/floating_pragma/floating_pragma.json b/...es/pragma_not_locked/floating_pragma.json → ...cked/floating_pragma/floating_pragma.json
diff --git a/...ses/pragma_not_locked/floating_pragma.sol → ...ocked/floating_pragma/floating_pragma.sol b/...ses/pragma_not_locked/floating_pragma.sol → ...ocked/floating_pragma/floating_pragma.sol
diff --git a/...es/pragma_not_locked/floating_pragma.yaml → ...cked/floating_pragma/floating_pragma.yaml b/...es/pragma_not_locked/floating_pragma.yaml → ...cked/floating_pragma/floating_pragma.yaml
diff --git a/...gma_not_locked/floating_pragma_fixed.json → ...g_pragma_fixed/floating_pragma_fixed.json b/...gma_not_locked/floating_pragma_fixed.json → ...g_pragma_fixed/floating_pragma_fixed.json
diff --git a/...agma_not_locked/floating_pragma_fixed.sol → ...ng_pragma_fixed/floating_pragma_fixed.sol b/...agma_not_locked/floating_pragma_fixed.sol → ...ng_pragma_fixed/floating_pragma_fixed.sol
diff --git a/...gma_not_locked/floating_pragma_fixed.yaml → ...g_pragma_fixed/floating_pragma_fixed.yaml b/...gma_not_locked/floating_pragma_fixed.yaml → ...g_pragma_fixed/floating_pragma_fixed.yaml
diff --git a/test_cases/pragma_not_locked/no_pragma.json → ...ragma_not_locked/no_pragma/no_pragma.json b/test_cases/pragma_not_locked/no_pragma.json → ...ragma_not_locked/no_pragma/no_pragma.json
diff --git a/test_cases/pragma_not_locked/no_pragma.sol → ...pragma_not_locked/no_pragma/no_pragma.sol b/test_cases/pragma_not_locked/no_pragma.sol → ...pragma_not_locked/no_pragma/no_pragma.sol
diff --git a/test_cases/pragma_not_locked/no_pragma.yaml → ...ragma_not_locked/no_pragma/no_pragma.yaml b/test_cases/pragma_not_locked/no_pragma.yaml → ...ragma_not_locked/no_pragma/no_pragma.yaml
diff --git a/test_cases/real_world_samples/BECToken.json → ...real_world_samples/BECToken/BECToken.json b/test_cases/real_world_samples/BECToken.json → ...real_world_samples/BECToken/BECToken.json
diff --git a/test_cases/real_world_samples/BECToken.sol → .../real_world_samples/BECToken/BECToken.sol b/test_cases/real_world_samples/BECToken.sol → .../real_world_samples/BECToken/BECToken.sol
diff --git a/test_cases/real_world_samples/BECToken.yaml → ...real_world_samples/BECToken/BECToken.yaml b/test_cases/real_world_samples/BECToken.yaml → ...real_world_samples/BECToken/BECToken.yaml
diff --git a/...ses/real_world_samples/WalletLibrary.json → ..._samples/WalletLibrary/WalletLibrary.json b/...ses/real_world_samples/WalletLibrary.json → ..._samples/WalletLibrary/WalletLibrary.json
diff --git a/...ases/real_world_samples/WalletLibrary.sol → ...d_samples/WalletLibrary/WalletLibrary.sol b/...ases/real_world_samples/WalletLibrary.sol → ...d_samples/WalletLibrary/WalletLibrary.sol
diff --git a/...ses/real_world_samples/WalletLibrary.yaml → ..._samples/WalletLibrary/WalletLibrary.yaml b/...ses/real_world_samples/WalletLibrary.yaml → ..._samples/WalletLibrary/WalletLibrary.yaml
diff --git a/test_cases/real_world_samples/rubixi.json → ...ity/real_world_samples/rubixi/rubixi.json b/test_cases/real_world_samples/rubixi.json → ...ity/real_world_samples/rubixi/rubixi.json
diff --git a/test_cases/real_world_samples/rubixi.sol → ...dity/real_world_samples/rubixi/rubixi.sol b/test_cases/real_world_samples/rubixi.sol → ...dity/real_world_samples/rubixi/rubixi.sol
diff --git a/test_cases/real_world_samples/rubixi.yaml → ...ity/real_world_samples/rubixi/rubixi.yaml b/test_cases/real_world_samples/rubixi.yaml → ...ity/real_world_samples/rubixi/rubixi.yaml
diff --git a/..._cases/reentracy/modifier_reentrancy.json → ...ifier_reentrancy/modifier_reentrancy.json b/..._cases/reentracy/modifier_reentrancy.json → ...ifier_reentrancy/modifier_reentrancy.json
diff --git a/test_cases/reentracy/modifier_reentrancy.sol → ...difier_reentrancy/modifier_reentrancy.sol b/test_cases/reentracy/modifier_reentrancy.sol → ...difier_reentrancy/modifier_reentrancy.sol
diff --git a/..._cases/reentracy/modifier_reentrancy.yaml → ...ifier_reentrancy/modifier_reentrancy.yaml b/..._cases/reentracy/modifier_reentrancy.yaml → ...ifier_reentrancy/modifier_reentrancy.yaml
diff --git a/.../reentracy/modifier_reentrancy_fixed.json → ...ancy_fixed/modifier_reentrancy_fixed.json b/.../reentracy/modifier_reentrancy_fixed.json → ...ancy_fixed/modifier_reentrancy_fixed.json
diff --git a/...s/reentracy/modifier_reentrancy_fixed.sol → ...rancy_fixed/modifier_reentrancy_fixed.sol b/...s/reentracy/modifier_reentrancy_fixed.sol → ...rancy_fixed/modifier_reentrancy_fixed.sol
diff --git a/.../reentracy/modifier_reentrancy_fixed.yaml → ...ancy_fixed/modifier_reentrancy_fixed.yaml b/.../reentracy/modifier_reentrancy_fixed.yaml → ...ancy_fixed/modifier_reentrancy_fixed.yaml
diff --git a/test_cases/reentracy/simple_dao.json → ...dity/reentracy/simple_dao/simple_dao.json b/test_cases/reentracy/simple_dao.json → ...dity/reentracy/simple_dao/simple_dao.json
diff --git a/test_cases/reentracy/simple_dao.sol → ...idity/reentracy/simple_dao/simple_dao.sol b/test_cases/reentracy/simple_dao.sol → ...idity/reentracy/simple_dao/simple_dao.sol
diff --git a/test_cases/reentracy/simple_dao.yaml → ...dity/reentracy/simple_dao/simple_dao.yaml b/test_cases/reentracy/simple_dao.yaml → ...dity/reentracy/simple_dao/simple_dao.yaml
diff --git a/test_cases/reentracy/simple_dao_fixed.json → ...cy/simple_dao_fixed/simple_dao_fixed.json b/test_cases/reentracy/simple_dao_fixed.json → ...cy/simple_dao_fixed/simple_dao_fixed.json
diff --git a/test_cases/reentracy/simple_dao_fixed.sol → ...acy/simple_dao_fixed/simple_dao_fixed.sol b/test_cases/reentracy/simple_dao_fixed.sol → ...acy/simple_dao_fixed/simple_dao_fixed.sol
diff --git a/test_cases/reentracy/simple_dao_fixed.yaml → ...cy/simple_dao_fixed/simple_dao_fixed.yaml b/test_cases/reentracy/simple_dao_fixed.yaml → ...cy/simple_dao_fixed/simple_dao_fixed.yaml
diff --git a/...rement_violations/requirement_simple.json → ...equirement_simple/requirement_simple.json b/...rement_violations/requirement_simple.json → ...equirement_simple/requirement_simple.json
diff --git a/...irement_violations/requirement_simple.sol → ...requirement_simple/requirement_simple.sol b/...irement_violations/requirement_simple.sol → ...requirement_simple/requirement_simple.sol
diff --git a/...rement_violations/requirement_simple.yaml → ...equirement_simple/requirement_simple.yaml b/...rement_violations/requirement_simple.yaml → ...equirement_simple/requirement_simple.yaml
diff --git a/..._violations/requirement_simple_fixed.json → ...imple_fixed/requirement_simple_fixed.json b/..._violations/requirement_simple_fixed.json → ...imple_fixed/requirement_simple_fixed.json
diff --git a/...t_violations/requirement_simple_fixed.sol → ...simple_fixed/requirement_simple_fixed.sol b/...t_violations/requirement_simple_fixed.sol → ...simple_fixed/requirement_simple_fixed.sol
diff --git a/..._violations/requirement_simple_fixed.yaml → ...imple_fixed/requirement_simple_fixed.yaml b/..._violations/requirement_simple_fixed.yaml → ...imple_fixed/requirement_simple_fixed.yaml
diff --git a/...state_variables/ShadowingInFunctions.json → ...wingInFunctions/ShadowingInFunctions.json b/...state_variables/ShadowingInFunctions.json → ...wingInFunctions/ShadowingInFunctions.json
diff --git a/..._state_variables/ShadowingInFunctions.sol → ...owingInFunctions/ShadowingInFunctions.sol b/..._state_variables/ShadowingInFunctions.sol → ...owingInFunctions/ShadowingInFunctions.sol
diff --git a/...state_variables/ShadowingInFunctions.yaml → ...wingInFunctions/ShadowingInFunctions.yaml b/...state_variables/ShadowingInFunctions.yaml → ...wingInFunctions/ShadowingInFunctions.yaml
diff --git a/..._inherited_state_variables/TokenSale.json → ..._state_variables/TokenSale/TokenSale.json b/..._inherited_state_variables/TokenSale.json → ..._state_variables/TokenSale/TokenSale.json
diff --git a/...g_inherited_state_variables/TokenSale.sol → ...d_state_variables/TokenSale/TokenSale.sol b/...g_inherited_state_variables/TokenSale.sol → ...d_state_variables/TokenSale/TokenSale.sol
diff --git a/..._inherited_state_variables/TokenSale.yaml → ..._state_variables/TokenSale/TokenSale.yaml b/..._inherited_state_variables/TokenSale.yaml → ..._state_variables/TokenSale/TokenSale.yaml
diff --git a/...ited_state_variables/TokenSale_fixed.json → ...bles/TokenSale_fixed/TokenSale_fixed.json b/...ited_state_variables/TokenSale_fixed.json → ...bles/TokenSale_fixed/TokenSale_fixed.json
diff --git a/...rited_state_variables/TokenSale_fixed.sol → ...ables/TokenSale_fixed/TokenSale_fixed.sol b/...rited_state_variables/TokenSale_fixed.sol → ...ables/TokenSale_fixed/TokenSale_fixed.sol
diff --git a/...ited_state_variables/TokenSale_fixed.yaml → ...bles/TokenSale_fixed/TokenSale_fixed.yaml b/...ited_state_variables/TokenSale_fixed.yaml → ...bles/TokenSale_fixed/TokenSale_fixed.yaml
diff --git a/...timestamp_dependence/timed_crowdsale.json → ...ence/timed_crowdsale/timed_crowdsale.json b/...timestamp_dependence/timed_crowdsale.json → ...ence/timed_crowdsale/timed_crowdsale.json
diff --git a/.../timestamp_dependence/timed_crowdsale.sol → ...dence/timed_crowdsale/timed_crowdsale.sol b/.../timestamp_dependence/timed_crowdsale.sol → ...dence/timed_crowdsale/timed_crowdsale.sol
diff --git a/...timestamp_dependence/timed_crowdsale.yaml → ...ence/timed_crowdsale/timed_crowdsale.yaml b/...timestamp_dependence/timed_crowdsale.yaml → ...ence/timed_crowdsale/timed_crowdsale.yaml
diff --git a/...malleability/transaction_malleablity.json → ..._malleablity/transaction_malleablity.json b/...malleability/transaction_malleablity.json → ..._malleablity/transaction_malleablity.json
diff --git a/..._malleability/transaction_malleablity.sol → ...n_malleablity/transaction_malleablity.sol b/..._malleability/transaction_malleablity.sol → ...n_malleablity/transaction_malleablity.sol
diff --git a/...malleability/transaction_malleablity.yaml → ..._malleablity/transaction_malleablity.yaml b/...malleability/transaction_malleablity.yaml → ..._malleablity/transaction_malleablity.yaml
diff --git a/...bility/transaction_malleablity_fixed.json → ..._fixed/transaction_malleablity_fixed.json b/...bility/transaction_malleablity_fixed.json → ..._fixed/transaction_malleablity_fixed.json
diff --git a/...ability/transaction_malleablity_fixed.sol → ...y_fixed/transaction_malleablity_fixed.sol b/...ability/transaction_malleablity_fixed.sol → ...y_fixed/transaction_malleablity_fixed.sol
diff --git a/...bility/transaction_malleablity_fixed.yaml → ..._fixed/transaction_malleablity_fixed.yaml b/...bility/transaction_malleablity_fixed.yaml → ..._fixed/transaction_malleablity_fixed.yaml
diff --git a/...s/transaction_order_dependence/ERC20.json → ...saction_order_dependence/ERC20/ERC20.json b/...s/transaction_order_dependence/ERC20.json → ...saction_order_dependence/ERC20/ERC20.json
diff --git a/...es/transaction_order_dependence/ERC20.sol → ...nsaction_order_dependence/ERC20/ERC20.sol b/...es/transaction_order_dependence/ERC20.sol → ...nsaction_order_dependence/ERC20/ERC20.sol
diff --git a/...s/transaction_order_dependence/ERC20.yaml → ...saction_order_dependence/ERC20/ERC20.yaml b/...s/transaction_order_dependence/ERC20.yaml → ...saction_order_dependence/ERC20/ERC20.yaml
diff --git a/...ence/eth_tx_order_dependence_minimal.json → ...imal/eth_tx_order_dependence_minimal.json b/...ence/eth_tx_order_dependence_minimal.json → ...imal/eth_tx_order_dependence_minimal.json
diff --git a/...dence/eth_tx_order_dependence_minimal.sol → ...nimal/eth_tx_order_dependence_minimal.sol b/...dence/eth_tx_order_dependence_minimal.sol → ...nimal/eth_tx_order_dependence_minimal.sol
diff --git a/...ence/eth_tx_order_dependence_minimal.yaml → ...imal/eth_tx_order_dependence_minimal.yaml b/...ence/eth_tx_order_dependence_minimal.yaml → ...imal/eth_tx_order_dependence_minimal.yaml
diff --git a/test_cases/tx_origin/mycontract.json → ...dity/tx_origin/mycontract/mycontract.json b/test_cases/tx_origin/mycontract.json → ...dity/tx_origin/mycontract/mycontract.json
diff --git a/test_cases/tx_origin/mycontract.sol → ...idity/tx_origin/mycontract/mycontract.sol b/test_cases/tx_origin/mycontract.sol → ...idity/tx_origin/mycontract/mycontract.sol
diff --git a/test_cases/tx_origin/mycontract.yaml → ...dity/tx_origin/mycontract/mycontract.yaml b/test_cases/tx_origin/mycontract.yaml → ...dity/tx_origin/mycontract/mycontract.yaml
diff --git a/test_cases/tx_origin/mycontract_fixed.json → ...in/mycontract_fixed/mycontract_fixed.json b/test_cases/tx_origin/mycontract_fixed.json → ...in/mycontract_fixed/mycontract_fixed.json
diff --git a/test_cases/tx_origin/mycontract_fixed.sol → ...gin/mycontract_fixed/mycontract_fixed.sol b/test_cases/tx_origin/mycontract_fixed.sol → ...gin/mycontract_fixed/mycontract_fixed.sol
diff --git a/test_cases/tx_origin/mycontract_fixed.yaml → ...in/mycontract_fixed/mycontract_fixed.yaml b/test_cases/tx_origin/mycontract_fixed.yaml → ...in/mycontract_fixed/mycontract_fixed.yaml
diff --git a/...typographical_error/typo_one_command.json → ...or/typo_one_command/typo_one_command.json b/...typographical_error/typo_one_command.json → ...or/typo_one_command/typo_one_command.json
diff --git a/.../typographical_error/typo_one_command.sol → ...ror/typo_one_command/typo_one_command.sol b/.../typographical_error/typo_one_command.sol → ...ror/typo_one_command/typo_one_command.sol
diff --git a/...typographical_error/typo_one_command.yaml → ...or/typo_one_command/typo_one_command.yaml b/...typographical_error/typo_one_command.yaml → ...or/typo_one_command/typo_one_command.yaml
diff --git a/...s/typographical_error/typo_safe_math.json → ..._error/typo_safe_math/typo_safe_math.json b/...s/typographical_error/typo_safe_math.json → ..._error/typo_safe_math/typo_safe_math.json
diff --git a/...es/typographical_error/typo_safe_math.sol → ...l_error/typo_safe_math/typo_safe_math.sol b/...es/typographical_error/typo_safe_math.sol → ...l_error/typo_safe_math/typo_safe_math.sol
diff --git a/...s/typographical_error/typo_safe_math.yaml → ..._error/typo_safe_math/typo_safe_math.yaml b/...s/typographical_error/typo_safe_math.yaml → ..._error/typo_safe_math/typo_safe_math.yaml
diff --git a/...ases/typographical_error/typo_simple.json → ...phical_error/typo_simple/typo_simple.json b/...ases/typographical_error/typo_simple.json → ...phical_error/typo_simple/typo_simple.json
diff --git a/...cases/typographical_error/typo_simple.sol → ...aphical_error/typo_simple/typo_simple.sol b/...cases/typographical_error/typo_simple.sol → ...aphical_error/typo_simple/typo_simple.sol
diff --git a/...ases/typographical_error/typo_simple.yaml → ...phical_error/typo_simple/typo_simple.yaml b/...ases/typographical_error/typo_simple.yaml → ...phical_error/typo_simple/typo_simple.yaml
diff --git a/...ised_storage_pointer/crypto_roulette.json → ...nter/crypto_roulette/crypto_roulette.json b/...ised_storage_pointer/crypto_roulette.json → ...nter/crypto_roulette/crypto_roulette.json
diff --git a/...lised_storage_pointer/crypto_roulette.sol → ...inter/crypto_roulette/crypto_roulette.sol b/...lised_storage_pointer/crypto_roulette.sol → ...inter/crypto_roulette/crypto_roulette.sol
diff --git a/...ised_storage_pointer/crypto_roulette.yaml → ...nter/crypto_roulette/crypto_roulette.yaml b/...ised_storage_pointer/crypto_roulette.yaml → ...nter/crypto_roulette/crypto_roulette.yaml
diff --git a/...torage_pointer/crypto_roulette_fixed.json → ...roulette_fixed/crypto_roulette_fixed.json b/...torage_pointer/crypto_roulette_fixed.json → ...roulette_fixed/crypto_roulette_fixed.json
diff --git a/...storage_pointer/crypto_roulette_fixed.sol → ..._roulette_fixed/crypto_roulette_fixed.sol b/...storage_pointer/crypto_roulette_fixed.sol → ..._roulette_fixed/crypto_roulette_fixed.sol
diff --git a/...torage_pointer/crypto_roulette_fixed.yaml → ...roulette_fixed/crypto_roulette_fixed.yaml b/...torage_pointer/crypto_roulette_fixed.yaml → ...roulette_fixed/crypto_roulette_fixed.yaml
diff --git a/..._functions/multiowned_not_vulnerable.json → ...vulnerable/multiowned_not_vulnerable.json b/..._functions/multiowned_not_vulnerable.json → ...vulnerable/multiowned_not_vulnerable.json
diff --git a/...l_functions/multiowned_not_vulnerable.sol → ..._vulnerable/multiowned_not_vulnerable.sol b/...l_functions/multiowned_not_vulnerable.sol → ..._vulnerable/multiowned_not_vulnerable.sol
diff --git a/..._functions/multiowned_not_vulnerable.yaml → ...vulnerable/multiowned_not_vulnerable.yaml b/..._functions/multiowned_not_vulnerable.yaml → ...vulnerable/multiowned_not_vulnerable.yaml
diff --git a/...ical_functions/multiowned_vulnerable.json → ...ned_vulnerable/multiowned_vulnerable.json b/...ical_functions/multiowned_vulnerable.json → ...ned_vulnerable/multiowned_vulnerable.json
diff --git a/...tical_functions/multiowned_vulnerable.sol → ...wned_vulnerable/multiowned_vulnerable.sol b/...tical_functions/multiowned_vulnerable.sol → ...wned_vulnerable/multiowned_vulnerable.sol
diff --git a/...ical_functions/multiowned_vulnerable.yaml → ...ned_vulnerable/multiowned_vulnerable.yaml b/...ical_functions/multiowned_vulnerable.yaml → ...ned_vulnerable/multiowned_vulnerable.yaml
diff --git a/...ritical_functions/simple_ether_drain.json → ...imple_ether_drain/simple_ether_drain.json b/...ritical_functions/simple_ether_drain.json → ...imple_ether_drain/simple_ether_drain.json
diff --git a/...critical_functions/simple_ether_drain.sol → ...simple_ether_drain/simple_ether_drain.sol b/...critical_functions/simple_ether_drain.sol → ...simple_ether_drain/simple_ether_drain.sol
diff --git a/...ritical_functions/simple_ether_drain.yaml → ...imple_ether_drain/simple_ether_drain.yaml b/...ritical_functions/simple_ether_drain.yaml → ...imple_ether_drain/simple_ether_drain.yaml
diff --git a/...ed_critical_functions/simple_suicide.json → ...ctions/simple_suicide/simple_suicide.json b/...ed_critical_functions/simple_suicide.json → ...ctions/simple_suicide/simple_suicide.json
diff --git a/...ted_critical_functions/simple_suicide.sol → ...nctions/simple_suicide/simple_suicide.sol b/...ted_critical_functions/simple_suicide.sol → ...nctions/simple_suicide/simple_suicide.sol
diff --git a/...ed_critical_functions/simple_suicide.yaml → ...ctions/simple_suicide/simple_suicide.yaml b/...ed_critical_functions/simple_suicide.yaml → ...ctions/simple_suicide/simple_suicide.yaml
diff --git a/...l_functions/suicide_multitx_feasible.json → ...tx_feasible/suicide_multitx_feasible.json b/...l_functions/suicide_multitx_feasible.json → ...tx_feasible/suicide_multitx_feasible.json
diff --git a/...al_functions/suicide_multitx_feasible.sol → ...itx_feasible/suicide_multitx_feasible.sol b/...al_functions/suicide_multitx_feasible.sol → ...itx_feasible/suicide_multitx_feasible.sol
diff --git a/...l_functions/suicide_multitx_feasible.yaml → ...tx_feasible/suicide_multitx_feasible.yaml b/...l_functions/suicide_multitx_feasible.yaml → ...tx_feasible/suicide_multitx_feasible.yaml
diff --git a/...functions/suicide_multitx_infeasible.json → ...nfeasible/suicide_multitx_infeasible.json b/...functions/suicide_multitx_infeasible.json → ...nfeasible/suicide_multitx_infeasible.json
diff --git a/..._functions/suicide_multitx_infeasible.sol → ...infeasible/suicide_multitx_infeasible.sol b/..._functions/suicide_multitx_infeasible.sol → ...infeasible/suicide_multitx_infeasible.sol
diff --git a/...functions/suicide_multitx_infeasible.yaml → ...nfeasible/suicide_multitx_infeasible.yaml b/...functions/suicide_multitx_infeasible.yaml → ...nfeasible/suicide_multitx_infeasible.yaml
diff --git a/...cted_critical_functions/wallet_01_ok.json → ..._functions/wallet_01_ok/wallet_01_ok.json b/...cted_critical_functions/wallet_01_ok.json → ..._functions/wallet_01_ok/wallet_01_ok.json
diff --git a/...ected_critical_functions/wallet_01_ok.sol → ...l_functions/wallet_01_ok/wallet_01_ok.sol b/...ected_critical_functions/wallet_01_ok.sol → ...l_functions/wallet_01_ok/wallet_01_ok.sol
diff --git a/...cted_critical_functions/wallet_01_ok.yaml → ..._functions/wallet_01_ok/wallet_01_ok.yaml b/...cted_critical_functions/wallet_01_ok.yaml → ..._functions/wallet_01_ok/wallet_01_ok.yaml
diff --git a/...cal_functions/wallet_02_refund_nosub.json → ..._refund_nosub/wallet_02_refund_nosub.json b/...cal_functions/wallet_02_refund_nosub.json → ..._refund_nosub/wallet_02_refund_nosub.json
diff --git a/...ical_functions/wallet_02_refund_nosub.sol → ...2_refund_nosub/wallet_02_refund_nosub.sol b/...ical_functions/wallet_02_refund_nosub.sol → ...2_refund_nosub/wallet_02_refund_nosub.sol
diff --git a/...cal_functions/wallet_02_refund_nosub.yaml → ..._refund_nosub/wallet_02_refund_nosub.yaml b/...cal_functions/wallet_02_refund_nosub.yaml → ..._refund_nosub/wallet_02_refund_nosub.yaml
diff --git a/...unctions/wallet_03_wrong_constructor.json → ...structor/wallet_03_wrong_constructor.json b/...unctions/wallet_03_wrong_constructor.json → ...structor/wallet_03_wrong_constructor.json
diff --git a/...functions/wallet_03_wrong_constructor.sol → ...nstructor/wallet_03_wrong_constructor.sol b/...functions/wallet_03_wrong_constructor.sol → ...nstructor/wallet_03_wrong_constructor.sol
diff --git a/...unctions/wallet_03_wrong_constructor.yaml → ...structor/wallet_03_wrong_constructor.yaml b/...unctions/wallet_03_wrong_constructor.yaml → ...structor/wallet_03_wrong_constructor.yaml
diff --git a/...al_functions/wallet_04_confused_sign.json → ...onfused_sign/wallet_04_confused_sign.json b/...al_functions/wallet_04_confused_sign.json → ...onfused_sign/wallet_04_confused_sign.json
diff --git a/...cal_functions/wallet_04_confused_sign.sol → ...confused_sign/wallet_04_confused_sign.sol b/...cal_functions/wallet_04_confused_sign.sol → ...confused_sign/wallet_04_confused_sign.sol
diff --git a/...al_functions/wallet_04_confused_sign.yaml → ...onfused_sign/wallet_04_confused_sign.yaml b/...al_functions/wallet_04_confused_sign.yaml → ...onfused_sign/wallet_04_confused_sign.yaml
diff --git a/...k_randomness/guess_the_random_number.json → ...andom_number/guess_the_random_number.json b/...k_randomness/guess_the_random_number.json → ...andom_number/guess_the_random_number.json
diff --git a/...ak_randomness/guess_the_random_number.sol → ...random_number/guess_the_random_number.sol b/...ak_randomness/guess_the_random_number.sol → ...random_number/guess_the_random_number.sol
diff --git a/...k_randomness/guess_the_random_number.yaml → ...andom_number/guess_the_random_number.yaml b/...k_randomness/guess_the_random_number.yaml → ...andom_number/guess_the_random_number.yaml
diff --git a/...omness/guess_the_random_number_fixed.json → ..._fixed/guess_the_random_number_fixed.json b/...omness/guess_the_random_number_fixed.json → ..._fixed/guess_the_random_number_fixed.json
diff --git a/...domness/guess_the_random_number_fixed.sol → ...r_fixed/guess_the_random_number_fixed.sol b/...domness/guess_the_random_number_fixed.sol → ...r_fixed/guess_the_random_number_fixed.sol
diff --git a/...omness/guess_the_random_number_fixed.yaml → ..._fixed/guess_the_random_number_fixed.yaml b/...omness/guess_the_random_number_fixed.yaml → ..._fixed/guess_the_random_number_fixed.yaml
diff --git a/..._cases/weak_randomness/old_blockhash.json → ...ndomness/old_blockhash/old_blockhash.json b/..._cases/weak_randomness/old_blockhash.json → ...ndomness/old_blockhash/old_blockhash.json
diff --git a/test_cases/weak_randomness/old_blockhash.sol → ...andomness/old_blockhash/old_blockhash.sol b/test_cases/weak_randomness/old_blockhash.sol → ...andomness/old_blockhash/old_blockhash.sol
diff --git a/..._cases/weak_randomness/old_blockhash.yaml → ...ndomness/old_blockhash/old_blockhash.yaml b/..._cases/weak_randomness/old_blockhash.yaml → ...ndomness/old_blockhash/old_blockhash.yaml
diff --git a/.../weak_randomness/old_blockhash_fixed.json → ..._blockhash_fixed/old_blockhash_fixed.json b/.../weak_randomness/old_blockhash_fixed.json → ..._blockhash_fixed/old_blockhash_fixed.json
diff --git a/...s/weak_randomness/old_blockhash_fixed.sol → ...d_blockhash_fixed/old_blockhash_fixed.sol b/...s/weak_randomness/old_blockhash_fixed.sol → ...d_blockhash_fixed/old_blockhash_fixed.sol
diff --git a/.../weak_randomness/old_blockhash_fixed.yaml → ..._blockhash_fixed/old_blockhash_fixed.yaml b/.../weak_randomness/old_blockhash_fixed.yaml → ..._blockhash_fixed/old_blockhash_fixed.yaml
diff --git a/...k_randomness/random_number_generator.json → ...er_generator/random_number_generator.json b/...k_randomness/random_number_generator.json → ...er_generator/random_number_generator.json
diff --git a/...ak_randomness/random_number_generator.sol → ...ber_generator/random_number_generator.sol b/...ak_randomness/random_number_generator.sol → ...ber_generator/random_number_generator.sol
diff --git a/...k_randomness/random_number_generator.yaml → ...er_generator/random_number_generator.yaml b/...k_randomness/random_number_generator.yaml → ...er_generator/random_number_generator.yaml
diff --git a/...tion/arbitrary_location_write_simple.json → ...mple/arbitrary_location_write_simple.json b/...tion/arbitrary_location_write_simple.json → ...mple/arbitrary_location_write_simple.json
diff --git a/...ation/arbitrary_location_write_simple.sol → ...imple/arbitrary_location_write_simple.sol b/...ation/arbitrary_location_write_simple.sol → ...imple/arbitrary_location_write_simple.sol
diff --git a/...tion/arbitrary_location_write_simple.yaml → ...mple/arbitrary_location_write_simple.yaml b/...tion/arbitrary_location_write_simple.yaml → ...mple/arbitrary_location_write_simple.yaml
diff --git a/...rbitrary_location_write_simple_fixed.json → ...rbitrary_location_write_simple_fixed.json b/...rbitrary_location_write_simple_fixed.json → ...rbitrary_location_write_simple_fixed.json