conftrace_

program dependence graph

2 papers

Explore in graph

Also known as

PDG

Co-occurring keywords · papers mentioning both

privacy bug (1) llms (1) code symmetries (1) group-theoretic framework (1) rust programming (1) equivariant self-attention (1) permutation group (1) information flow control (1) static analysis (1)

Papers

Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025 Exploiting Code Symmetries for Learning Program Semantics ICML 2024