| .. |
|
abstract_interp
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
auth_analysis
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
cfg
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
cfg_analysis
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
chain
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
commands
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
constraint
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
dynamic
|
fixed failing tests and updated screenshots
|
2026-06-11 17:34:59 -05:00 |
|
entry_points
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
labels
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
output
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
patterns
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
pointer
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
resolve
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
server
|
docs: clarify per-finding exposure logic
|
2026-06-10 13:21:56 -05:00 |
|
ssa
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
state
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
summary
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
suppress
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
surface
|
fix: clippy and thirdparty licenses update
|
2026-06-10 13:26:57 -05:00 |
|
symbol
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
symex
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
taint
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
utils
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
ast.rs
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
baseline.rs
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
callgraph.rs
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
cli.rs
|
added repro subcommand
|
2026-06-05 13:10:58 -05:00 |
|
convergence_telemetry.rs
|
docs: Enhance module documentation across various files for clarity a… (#62)
|
2026-05-02 17:46:45 -04:00 |
|
database.rs
|
fix(engine): CFG/SSA/taint/IPA soundness, precision & recall fixes
|
2026-06-11 16:46:01 -05:00 |
|
engine_notes.rs
|
Python fp and docs updtes (#58)
|
2026-04-29 19:53:34 -04:00 |
|
errors.rs
|
docs: Enhance module documentation across various files for clarity a… (#62)
|
2026-05-02 17:46:45 -04:00 |
|
evidence.rs
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
fmt.rs
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
interop.rs
|
docs: Enhance module documentation across various files for clarity a… (#62)
|
2026-05-02 17:46:45 -04:00 |
|
lib.rs
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
main.rs
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
rank.rs
|
feat(surface): make attack surface first-class in the finding pipeline
|
2026-06-10 13:01:48 -05:00 |
|
rust_resolve.rs
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
|
walk.rs
|
Dynamic (#77)
|
2026-06-05 10:16:30 -05:00 |
