Repository navigation

Go L3 intraprocedural dataflow, app-outermost ids and L2 library calls - #16

Merged

pavuluri merged 46 commits into

mainfrom

feat/l3-dataflow

Oct 27, 2026

Merged

Go L3 intraprocedural dataflow, app-outermost ids and L2 library calls#16
pavuluri merged 46 commits into
mainfrom
feat/l3-dataflow

Commits on Oct 23, 2026
Commits on Oct 24, 2026
- feat(l3): post-dominators and control dependence
  sinha108
  committed
  a544192
- fix(l3): do not anchor @exit in the CDG (Python parity)
  sinha108
  committed
  50cd3a2
- feat(l3): k-limited access paths and def/use sets
  sinha108
  committed
  a627174
- fix(l3): weak loop-header defs, reference-typed receivers, sorted def/use
  sinha108
  committed
  3c5b673
- feat(l3): reaching definitions and syntactic DDG
  sinha108
  committed
  fdfa8ff
- refactor(l3): pair L1 call keys with calls by recording index
  sinha108
  committed
  108ca36
- feat(l3): per-callable dataflow driver and v2 emission
  sinha108
  committed
  7ca38c8
- fix(l3): contain per-callable panics; own prov slice per DDG edge
  sinha108
  committed
  0e0f387
- feat(neo4j): project the L3 cfg/cdg/ddg overlay
  sinha108
  committed
  f120bf3
- docs: L3 real-app evaluation
  sinha108
  committed
  27318c1
- style: gofmt files changed on this branch
  sinha108
  committed
  fd24bdf
- fix(l2): keep every init's call edges; resolve in sorted order
  sinha108
  committed
  679f995
- fix(neo4j): run the --eager purge in an implicit transaction
  sinha108
  committed
  6f250ea
- docs: record the init-determinism and Neo4j --eager fixes
  sinha108
  committed
  883eab1
- docs: L3 dataflow metrics over the real-app corpus
  sinha108
  committed
  30b2a97
- fix(l3): weak-define base[*] for subslice and array-slice arguments
  sinha108
  committed
  258b22f
- fix(l2): key the call-site index on directive-adjusted positions
  sinha108
  committed
  3360a8e
- fix(l3): keep defs in packages with type errors
  sinha108
  committed
  6fdc2c5
- feat: emit body-node id from L1; Neo4j call_node is the local key
  sinha108
  committed
  9ae739e
- fix(v2): set source_file on closures in a cross-file method
  sinha108
  committed
  b87c636
- build: release with the latest Go; warn once on a too-old toolchain
  sinha108
  committed
  123fe18
- fix(l3): deferred calls read receiver and argument state at exit
  sinha108
  committed
  3f31626
- docs: align README, Neo4j spec and CLAUDE.md with the L2/L3 contract
  sinha108
  committed
  f551fb3
- docs: correct L2/L3 contract statements in README, Neo4j spec and L3 precision gaps
  sinha108
  committed
  5508010
- scripts: eval_l3.sh --prepare with a pinned per-app manifest
  sinha108
  committed
  9aeda43
- docs: L3 metrics on HEAD with Kubernetes as the scale benchmark
  sinha108
  committed
  f06d837
- build: upgrade golang.org/x/tools to v0.52.0 for Go 1.27 export data
  sinha108
  committed
  ad53d89
Commits on Oct 25, 2026

Commits

Commits on Oct 23, 2026

Commits on Oct 24, 2026

Commits on Oct 25, 2026