Instrumentation for delayed UB stemming from uninitialized memory - #3374

Merged

artemagvanian merged 64 commits into

model-checking:mainfrom

artemagvanian:delayed-ub

Aug 5, 2024

Commits on Jul 23, 2024

Instrumentation for delayed UB stemming from uninitialized memory
artemagvanian
committed
b2e6d8f
Merge branch 'main' into delayed-ub
artemagvanian
authored
9d3783e

Commits on Jul 24, 2024

Add minimal statics support, clean up atomics
artemagvanian
committed
40c8047
Merge branch 'main' into delayed-ub
artemagvanian
authored
6c9989d
Add tests for different ways to trigger delayed UB
artemagvanian
committed
9df425a
Merge branch 'main' into delayed-ub
artemagvanian
authored
ee0f863
Make sure statics can also be analysis targets
artemagvanian
committed
268885f
Add support for closures, fix function call handling
artemagvanian
committed
2d99ffa
Merge branch 'main' into delayed-ub
artemagvanian
authored
3a0c190
Formatting nit
artemagvanian
committed
7d69b02

Commits on Jul 25, 2024

Fix bugs with inter-function analysis, add more tests
artemagvanian
committed
6810535
Merge branch 'main' into delayed-ub
artemagvanian
committed
cf13e0f
Fix methods changed by merge
artemagvanian
committed
a508e62

Commits on Jul 26, 2024

Mitigate issues with non-deterministic memory initialization instrumentation
artemagvanian
committed
bf1ffc6
Correctness fixes and performance improvements
artemagvanian
committed
85a550a
Merge branch 'main' into delayed-ub
artemagvanian
authored
6d4bf1c
Add more tests, remove unnecessary nodes from the graph
artemagvanian
committed
e597689
Apply clippy suggestion
artemagvanian
committed
afb9df7
Fix an issue with terminator handling in `InstrumentationVisitor`
artemagvanian
committed
08494ed

Commits on Jul 29, 2024

Fix expected test output files
artemagvanian
committed
0f11c95
Merge branch 'main' into delayed-ub
artemagvanian
authored
ba56f12
More efficient intersection handling
artemagvanian
committed
c5d25ed
Add a better explanation for running reachability analysis twice
artemagvanian
committed
e7bb5b8
Move points-to analysis into a separate module, organize imports
artemagvanian
committed
1792a68
Use StaticDef as analysis target
artemagvanian
committed
f4601c1
Add a comment in `initial_target_visitor.rs`
artemagvanian
committed
1186426
Fix small bug in delayed UB instrumentation visitor
artemagvanian
committed
cf877b1
Systematic ptr/ref transmute handling
artemagvanian
committed
0a6be41
Changes from code review
artemagvanian
committed
f527f2e
Merge branch 'main' into delayed-ub
artemagvanian
authored
5d6beee
Formatting change
artemagvanian
committed
50ef746
Link to the closed StableMIR PR
artemagvanian
committed
bd7e960

Commits on Jul 30, 2024

Merge branch 'main' into delayed-ub
artemagvanian
authored
5fe54f2
Handle spurious failures caused by delayed UB instrumentation
artemagvanian
committed
076f5ad

Commits on Jul 31, 2024

Commits on Aug 1, 2024

Merge branch 'main' into delayed-ub
artemagvanian
authored
c6187b3
Merge branch 'main' into delayed-ub
artemagvanian
authored
dcdc019
Wrap `PointsToAnalysis::run` into a separate function
artemagvanian
committed
bedaa46
Remove unnecessary body copy
artemagvanian
committed
421b136
Update the documentation for `PointsToGraph`
artemagvanian
committed
3b3fdda
Rename `GlobalMemLoc -> MemLoc`
artemagvanian
committed
a2e03c6
Rename `MemLoc::Global` -> `MemLoc::Static`
artemagvanian
committed
186abe3
Expand on the doc comment of `LocalMemLoc::Alloc`
artemagvanian
committed
6de9bfd
More changes to `PointsToGraph`
artemagvanian
committed
a0ef351
Remove confusing references to "scalar places"
artemagvanian
committed
5114525
Accept suggestion from code review

artemagvanian
and
celinval
authored
759a540
Merge branch 'main' into delayed-ub
artemagvanian
authored
0354c4e

Commits on Aug 2, 2024

Merge branch 'main' into delayed-ub
artemagvanian
authored
f1172d6
Merge branch 'main' into delayed-ub
artemagvanian
authored
41bcfb0
Formatting change
artemagvanian
committed
c7eed14
Remove `merge` method duplicate
artemagvanian
committed
136d5a2
Accept suggestion from clippy
artemagvanian
committed
7cd2f80
Merge branch 'main' into delayed-ub
artemagvanian
authored
078d38a
Documentation changes / renaming
artemagvanian
committed
54bea65
Accept suggestions for error messages
artemagvanian
committed
3d43def
Move `successors_for_rvalue` into a separate function
artemagvanian
committed
9deb5a3
Add a comment about intrinsics
artemagvanian
committed
700033e
Merge branch 'main' into delayed-ub
artemagvanian
authored
0197e2a
Restrict use of all internal MIR types to `points_to` module
artemagvanian
committed
4cba01e

Commits on Aug 5, 2024

Small comment update
artemagvanian
committed
8671a38
Merge branch 'main' into delayed-ub
artemagvanian
authored
52daa97