ThreadEscape: Collect set of escaping threads flow-insensitively#1078

Merged

michael-schwarz merged 22 commits intomasterfrom escape_analysis_flow-insens

Jul 4, 2023

+204-56

Commits on Jun 7, 2023

Add test case where escaped local has unsound value.
jerhard
committed
Remove race annotation, as this is secondary for this test case.
jerhard
committed
Move failing test with local escaping into escape test folder, simplify it.
jerhard
committed
ThreadEscape: Extract function emitting events.
jerhard
committed
Add simple failiing test case due to unsound escape analysis.
jerhard
committed
ThreadEscape: collect which threads escaped variables in flow-insensitive invariant.
jerhard
committed
ThreadEscape: also answer whether variable escaped in singlethreaded mode, support pthread_setspecific again.
jerhard
committed
Add test case, extend test case with interval checks.
jerhard
committed
Indent threadEscape.ml
jerhard
committed
ThreadEscape: add escaped to local state in threadenter.
jerhard
committed

Commits on Jun 26, 2023

Commits on Jul 3, 2023

AffineEqualityDomain: Perform explicit copy in add_vars, drop_vars, keep_vars, keep_filter.
jerhard
committed