martong added a comment.
I've checked the `StdLibraryFunctionsChecker` related changes and they are
promising.
Comment at: clang/test/Analysis/std-c-library-functions-taint.c:88
+clang_analyzer_dump(n + 1); // expected-warning {{(conj_$}}
expected-note {{(conj_$}}
+
steakhal added inline comments.
Comment at: clang/lib/StaticAnalyzer/Core/BugReporter.cpp:2363
+ for (SymbolRef SubSym : SubSyms) {
+if (SymbolData::classof(SubSym)) {
+ if (auto MaybeTK = TryToLookupTrackingKind(SubSym))
I think this is the superior wa
gamesh411 added a comment.
@steakhal
This is WIP as there is still a stdlib function, that does not pass the test,
and I would like to add more complex taint propagation test cases as well.
Could you please glance over these commits:
[Malloc] Pass down a State and a Pred ExplodedNode in the Mallo
gamesh411 updated this revision to Diff 428070.
gamesh411 added a comment.
- [BoolAssign] Add taint to the BoolAssignmentChecker
- [BugReporter] Transitive interestingness
- [Malloc] Pass down a State and a Pred ExplodedNode in the MallocChecker
- [BoundV2] ArrayBoundV2 checks if the extent is tai
gamesh411 created this revision.
gamesh411 added a reviewer: steakhal.
Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy,
Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a reviewer: Szelethus.
Herald added a project: All.
gamesh4
