README.md
pyproject.toml
setup.py
amarna/Result.py
amarna/__init__.py
amarna/amarna.py
amarna/command_line.py
amarna.egg-info/PKG-INFO
amarna.egg-info/SOURCES.txt
amarna.egg-info/dependency_links.txt
amarna.egg-info/entry_points.txt
amarna.egg-info/requires.txt
amarna.egg-info/top_level.txt
amarna/grammars/cairo.lark
amarna/rules/GenericGatherer.py
amarna/rules/GenericRule.py
amarna/rules/__init__.py
amarna/rules/gatherer_rules_module.py
amarna/rules/local_rules_module.py
amarna/rules/post_process_rules_module.py
amarna/rules/gatherer_rules/AllFunctionCallsGatherer.py
amarna/rules/gatherer_rules/DeclaredFunctionsGatherer.py
amarna/rules/gatherer_rules/FunctionsEmittingEventsGatherer.py
amarna/rules/gatherer_rules/FunctionsReturningErrorsGatherer.py
amarna/rules/gatherer_rules/FunctionsUsedAsCallbacksGatherer.py
amarna/rules/gatherer_rules/ImportGatherer.py
amarna/rules/gatherer_rules/RValueFunctionCallsGatherer.py
amarna/rules/gatherer_rules/__init__.py
amarna/rules/local_rules/ArithmeticOperationsRule.py
amarna/rules/local_rules/DeadStoreRule.py
amarna/rules/local_rules/UninitializedVariableRule.py
amarna/rules/local_rules/UnknownDecoratorRule.py
amarna/rules/local_rules/UnusedArgumentRule.py
amarna/rules/local_rules/UnusedImportRule.py
amarna/rules/local_rules/__init__.py
amarna/rules/post_process_rules/ImplicitImportRule.py
amarna/rules/post_process_rules/MustCheckCallerAddress.py
amarna/rules/post_process_rules/MustCheckOverflow.py
amarna/rules/post_process_rules/MustCheckReturnCodeRule.py
amarna/rules/post_process_rules/StorageVarCollisionRule.py
amarna/rules/post_process_rules/UnenforcedViewRule.py
amarna/rules/post_process_rules/UniformAssertsConstants.py
amarna/rules/post_process_rules/UnusedFunctionsRule.py
amarna/rules/post_process_rules/__init__.py