Skip to content

9 featanalysis add m2 rule ids and m3 interprocedural groundwork - #10

Merged
SizzleUnrlsd merged 66 commits into
mainfrom
9-featanalysis-add-m2-rule-ids-and-m3-interprocedural-groundwork
May 17, 2026
Merged

9 featanalysis add m2 rule ids and m3 interprocedural groundwork#10
SizzleUnrlsd merged 66 commits into
mainfrom
9-featanalysis-add-m2-rule-ids-and-m3-interprocedural-groundwork

Conversation

@SizzleUnrlsd

@SizzleUnrlsd SizzleUnrlsd commented Apr 15, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@SizzleUnrlsd
build(cmake): register M2 and M3 analysis sources
1b90a7c
@SizzleUnrlsd
feat(api): add analysis options and M2 rule identifiers
34a6840
@SizzleUnrlsd
feat(cli): add explicit concurrency rule selection
67cd44e
@SizzleUnrlsd
feat(analysis): compose selectable concurrency checkers
fad4eb9
@SizzleUnrlsd
feat(diagnostics): register missing-join and deadlock metadata
020a2ea
@SizzleUnrlsd
feat(analysis): extend TU facts with lock-order and thread-lifecycle …
8d61a49 
…data
@SizzleUnrlsd
refactor(analysis): extract shared concurrency fact queries
f1f8d8a
@SizzleUnrlsd
refactor(reporting): declare shared diagnostic report finalization
dee1337
@SizzleUnrlsd
refactor(reporting): extract shared diagnostic report finalization
35df254
@SizzleUnrlsd
refactor(analysis): declare shared direct-call bindings
62713ff
@SizzleUnrlsd
refactor(analysis): extract shared direct-call bindings
8e3bf3d
@SizzleUnrlsd
feat(analysis): declare propagated thread reachability facts
dff8aaa
@SizzleUnrlsd
feat(analysis): precompute thread reachability facts
9aadbe7
@SizzleUnrlsd
refactor(analysis): reuse shared interprocedural call bindings
fd8757d
@SizzleUnrlsd
refactor(analysis): consume propagated thread context facts
980b2c9
@SizzleUnrlsd
feat(analysis): extend concurrency call classification for thread lif…
a02b536 
…ecycle APIs
@SizzleUnrlsd
feat(analysis): recognize pthread lifecycle calls across ABI spellings
26b1235
@SizzleUnrlsd
feat(analysis): expose canonical thread handle storage resolution
eceb518
@SizzleUnrlsd
feat(analysis): canonicalize thread handle storage groups
4fe417d
@SizzleUnrlsd
feat(analysis): declare thread lifecycle fact collection
9c28933
@SizzleUnrlsd
feat(analysis): collect thread lifecycle facts for create join and de…
eb8f5ee 
…tach
@SizzleUnrlsd
feat(analysis): declare pthread missing-join detection
ad2800d
@SizzleUnrlsd
feat(analysis): add pthread missing-join detection
e84e281
@SizzleUnrlsd
feat(analysis): declare per-function lock-order collection
98068e0
@SizzleUnrlsd
feat(analysis): collect per-function lock acquisition order
ee6cc5a
@SizzleUnrlsd
feat(analysis): declare simple lock-order deadlock detection
bc56774
@SizzleUnrlsd
feat(analysis): add simple lock-order deadlock detection
5246135
@SizzleUnrlsd
feat(analysis): populate lock-order and thread-lifecycle facts
6fa1d89
@SizzleUnrlsd
docs(tracker): record M2 and M3 implementation progress
d2b0d2c
@SizzleUnrlsd SizzleUnrlsd self-assigned this Apr 15, 2026
@SizzleUnrlsd
feat(analysis): declare direct-call lock state propagation
3a6a58b
@SizzleUnrlsd
feat(analysis): propagate held locks across direct calls
2752d64
@SizzleUnrlsd
feat(analysis): support std-thread missing-join diagnostics
7365fb1
@SizzleUnrlsd
feat(analysis): filter runtime-owned thread lifecycle facts
96a5528
@SizzleUnrlsd
feat(analysis): propagate lifecycle and lock facts through direct calls
02f0506
@SizzleUnrlsd
style(fixtures): normalize std-thread missing-join fixture formatting
b2ea030
@SizzleUnrlsd
test(fixtures): add std-thread missing-join fixture
4b1faea
@SizzleUnrlsd
test(fixtures): add callsite lock propagation race fixture
c5a3d14
@SizzleUnrlsd
test(unit): cover missing-join deadlock and callsite lock propagation
bee69ff
@SizzleUnrlsd
test(cli): cover default rules and explicit rule selection
1e960f4
@SizzleUnrlsd
chore(style): format code with clang-format
a5b42fc
@SizzleUnrlsd
test(pytest): align human output goldens with all-rules analysis
096e844
@SizzleUnrlsd
fix(analysis): make lock state propagator header self-contained
77db636
@SizzleUnrlsd
build(analysis): register LLVM function analysis provider
ab996ec
@SizzleUnrlsd
feat(api): expose alias provenance metadata
b6b8009
@SizzleUnrlsd
feat(analysis): attach alias provenance to race diagnostics
589892d
@SizzleUnrlsd
feat(analysis): track alias provenance on access facts
1905cf6
@SizzleUnrlsd
feat(analysis): collect alias-resolved shared accesses
f4d9506
@SizzleUnrlsd
feat(analysis): declare alias-aware global resolution
ba70768
@SizzleUnrlsd
fix(analysis): include alias provenance in access fact identity
71622b3
@SizzleUnrlsd
feat(reporting): emit diagnostic properties in SARIF
98d9bd6
@SizzleUnrlsd
feat(analysis): add LLVM function analysis provider
fb0d760
@SizzleUnrlsd
chore(style): format code with clang-format
706d381
@SizzleUnrlsd
fix(analysis): account for std thread moves in missing-join detection
ee99da1
@SizzleUnrlsd
test(analysis): cover M2 and M3 false-positive regressions
b600a3b
@SizzleUnrlsd
test(architecture): ignore final BC output pair in stale flag check
f40bab5
@SizzleUnrlsd
ci(test): run CMake CTest suite in GitHub Actions
10ca1c7
@SizzleUnrlsd
fix(analysis): make C++ concurrency facts portable across standard li…
7f25594 
…braries
@SizzleUnrlsd
SizzleUnrlsd merged commit 31a03a4 into main May 17, 2026
7 checks passed
@SizzleUnrlsd
SizzleUnrlsd deleted the 9-featanalysis-add-m2-rule-ids-and-m3-interprocedural-groundwork branch May 17, 2026 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@SizzleUnrlsd SizzleUnrlsd

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

feat(analysis): add M2 rule ids and M3 interprocedural groundwork

1 participant

@SizzleUnrlsd