LICENSE.txt
MANIFEST.in
README.md
pyproject.toml
setup.cfg
setup.py
bin/ctadl
bin/dctadl
docs/dev/pcode-translation.md
src/ctadl/VERSION
src/ctadl/__init__.py
src/ctadl/models.py
src/ctadl.egg-info/PKG-INFO
src/ctadl.egg-info/SOURCES.txt
src/ctadl.egg-info/dependency_links.txt
src/ctadl.egg-info/not-zip-safe
src/ctadl.egg-info/requires.txt
src/ctadl.egg-info/top_level.txt
src/ctadl/models/ctadl-model-generator.schema.json
src/ctadl/models/jadx/default-index.json
src/ctadl/models/jadx/default-query.json
src/ctadl/models/pcode/default-index.json
src/ctadl/models/pcode/default-query.json
src/ctadl/models/taint-front/default-index.json
src/ctadl/models/taint-front/default-query.json
src/ctadl/souffle-logic/config.dl
src/ctadl/souffle-logic/ctadl_ir_types.dl
src/ctadl/souffle-logic/ctadl_schema.dl
src/ctadl/souffle-logic/export.dl
src/ctadl/souffle-logic/functors.cpp
src/ctadl/souffle-logic/graph_schema.dl
src/ctadl/souffle-logic/imports.dl
src/ctadl/souffle-logic/macros.dl
src/ctadl/souffle-logic/taint_schema.dl
src/ctadl/souffle-logic/graph/access_path.dl
src/ctadl/souffle-logic/graph/callgraph.dl
src/ctadl/souffle-logic/graph/dataflow.dl
src/ctadl/souffle-logic/graph/dataflow_graph.dl
src/ctadl/souffle-logic/graph/declarations.dl
src/ctadl/souffle-logic/graph/export.dl
src/ctadl/souffle-logic/graph/fieldprop.dl
src/ctadl/souffle-logic/graph/fieldprop_ref.dl
src/ctadl/souffle-logic/graph/globals.dl
src/ctadl/souffle-logic/graph/hybrid_inlining.dl
src/ctadl/souffle-logic/graph/import.dl
src/ctadl/souffle-logic/graph/star.dl
src/ctadl/souffle-logic/graph/slice/bidi.dl
src/ctadl/souffle-logic/graph/slice/callee.dl
src/ctadl/souffle-logic/graph/slice/declarations.dl
src/ctadl/souffle-logic/graph/slice/taint.dl
src/ctadl/souffle-logic/information-flow/declarations.dl
src/ctadl/souffle-logic/information-flow/export.dl
src/ctadl/souffle-logic/information-flow/java-transfer.dl
src/ctadl/souffle-logic/information-flow/query.dl
src/ctadl/souffle-logic/jadx/android-intents.dl
src/ctadl/souffle-logic/jadx/customquery.dl
src/ctadl/souffle-logic/jadx/export.dl
src/ctadl/souffle-logic/jadx/importdb.dl
src/ctadl/souffle-logic/jadx/index.dl
src/ctadl/souffle-logic/jadx/jadx-fact-decls.dl
src/ctadl/souffle-logic/jadx/jadx-fact-imports.dl
src/ctadl/souffle-logic/jadx/jadx_lang.dl
src/ctadl/souffle-logic/pcode/ExportPcode.java
src/ctadl/souffle-logic/pcode/declarations.dl
src/ctadl/souffle-logic/pcode/export.dl
src/ctadl/souffle-logic/pcode/generictaintquery.dl
src/ctadl/souffle-logic/pcode/import.dl
src/ctadl/souffle-logic/pcode/importdb.dl
src/ctadl/souffle-logic/pcode/index.dl
src/ctadl/souffle-logic/pcode/pcode_lang.dl
src/ctadl/souffle-logic/pcode/taintquery.dl
src/ctadl/souffle-logic/pcode/typeprop.dl
src/ctadl/souffle-logic/pcode/types.dl
src/ctadl/souffle-logic/pcode/vtable.dl
src/ctadl/souffle-logic/taint-front/declarations.dl
src/ctadl/souffle-logic/taint-front/export.dl
src/ctadl/souffle-logic/taint-front/import.dl
src/ctadl/souffle-logic/taint-front/importdb.dl
src/ctadl/souffle-logic/taint-front/index.dl
src/ctadl/souffle-logic/taint-front/macros.dl
src/ctadl/souffle-logic/taint-front/taint_front_lang.dl
src/ctadl/souffle-logic/taint-front/taintquery.dl
src/ctadl/souffle-logic/taint-front/types.dl
src/ctadl/util/__init__.py
src/ctadl/util/diff.py
src/ctadl/util/functions.py
src/ctadl/util/graph.py
src/ctadl/util/lazy_logging.py
src/ctadl/util/merge.py
src/ctadl/util/sortedcollection.py
src/ctadl/vis/__init__.py
src/ctadl/vis/formatters.py
src/ctadl/vis/model.py
src/ctadl/vis/richutils.py
src/ctadl/vis/sarif.py
src/ctadl/vis/sarifpaths.py
src/ctadl/vis/taintgraph.py
src/ctadl/vis/types.py
tests/test_ctadlir.py
tests/test_sarif_paths.py