* @source: https://github.com/SmartContractSecurity/SWC-registry/blob/master/test_cases/integer_overflow_and_underflow/integer_overflow_mapping_sym_1.sol ...

python-inheritance python-input_output python-more_classes python-more_data_structures python-object_relational_mapping python-serialization python-server_side_rendering ...