Welcome to CTADL’s documentation!

Contents:

• Introduction
  • Support
  • Known issues
  • Copyright
• Installation
  • Dependency - Install Souffle
  • Install CTADL
  • Docker distribution
• Usage
  • Import the SUT
  • Index the SUT
  • Query the SUT: Run Taint Analysis
• Workflows
  • Workflow - Iterate on sources & sinks
  • Workflow - Visualize path results with VSCode’s SARIF Viewer
  • Workflow - Find and fill in propagation models for external functions
  • Advanced Workflow - Working with either sources or sinks, but not both
  • Workflow - Analyze a SUT with libraries by linking code
  • Workflow - Analyze a SUT with libraries by composing analyses
  • Workflow - Work with Datalog directly
• Model Generators
  • Specification
  • Access path format
• SARIF Output
  • C0001 - Paths Result
  • C0002 - Tainted instructions
  • C0003 - Source vertices
  • C0004 - Sink vertices
  • C0005 - Tainted vertices
  • C0006 - Almost-path functions
  • Taint Graph
  • Use Cases
  • Glossary
• Analysis Internals
  • Global Variables
• Star abstraction
  • Introduction
  • Star abstraction rules
  • Discussion
  • Queries
  • Matching
  • Summary
  • Usage
  • Implementation notes
  • Footnotes
• Windows
  • Building Souffle on Windows
• Development Guide
  • CTADL Import & Export Plugins
• Debugging
  • Get the assignments in a function with variable names
  • All the callsites with arguments and callees, grouped
  • Summary entries grouped by from,to
  • Tainted variables and instructions
  • PCODE

Indices and tables

• Index

• Module Index

• Search Page