C++: New Query: missing return-value check for scanf-like functions - #10163

Merged

d10c merged 21 commits into

github:mainfrom

d10c:missing-check-scanf-squashed

Sep 1, 2022

Commits on Aug 11, 2022

Update .gitignore for .vscode/*.log temporaries
d10c
committed
94c43c0
C++: Add test and placeholder query.

geoffw0
authored and
d10c
committed
76ef779
C++: First working. We now prefer flagging the cases where the variable was initialized, as in real world cases we haven't seen it done safely.

geoffw0
authored and
d10c
committed
c62ae3b

Commits on Aug 24, 2022

Commits on Aug 25, 2022

C++: new helper predicates in ScanfFunctionCall
d10c
committed
d8800c0
C++: Remove unique-Instruction kludge in ScanfOutput
d10c
committed
e39229d
C++: clarify ScanfOutput.getMinimumGuardConstant()
d10c
committed
a6a30b3
C++: Small improvements to query qldoc and message
d10c
committed
ad56274
C++: improve change note and move to right place
d10c
committed
2bd866c
Revert changes to .gitignore and .clang-format
d10c
committed
02772ed
C++: Optimize MissingCheckScanf/bigStep()
d10c
committed
7d24d96

Commits on Aug 30, 2022

C++: Improve docs based on doc-review
d10c
committed
e10042b
Merge branch 'main' into missing-check-scanf-squashed
d10c
authored
ce1e4ad

Commits on Aug 31, 2022

C++: Update metadata based on cwe-scores
d10c
committed
0729e42
C++: Correct CWE tags in metadata
d10c
committed
38f185b
C++: Add correctness tag
d10c
committed
f5a30c7

Commits on Sep 1, 2022

Merge branch 'main' into missing-check-scanf-squashed
d10c
authored
f956999