llvm-project
[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall`
#106081

Merged

[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` #106081

NagyDonat merged 5 commits into llvm:main from pskrgag:mallocChecker

wip

82e3d871

pskrgag marked this pull request as draft 1 year ago

llvmbot added clang

llvmbot added clang:static analyzer

pskrgag changed the title ~~[WIP] Refactor MallocChecker to use `BindExpr` in `evalCall`~~ [WIP] [analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` 1 year ago

NagyDonat commented on 2024-08-27

fix style

d0ab7314

invalidate memory region after

ea053696

make getConjuredHeapSymbolVal return DefinedSVal

7910b7c4

pskrgag marked this pull request as ready for review 1 year ago

pskrgag changed the title ~~[WIP] [analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall`~~ [analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` 1 year ago

NagyDonat requested a review from

steakhal 1 year ago

NagyDonat requested a review from

Szelethus 1 year ago

NagyDonat commented on 2024-08-29

steakhal commented on 2024-08-30

NagyDonat approved these changes on 2024-09-12

Merge branch 'main' into mallocChecker

ff1d434f

NagyDonat merged 339282d4 into main 1 year ago

Reviewers

NagyDonat

steakhal

Szelethus

Assignees

No one assigned

Labels

clang clang:static analyzer

Milestone

No milestone

llvm-project [analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` #106081 Merged

[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` #106081

llvm-project
[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall`
#106081

Merged