Anders Fugmann
|
e0921ac983
|
C++: Increase precision of cpp/static-buffer-overflow to high
|
2021-09-27 09:06:36 +02:00 |
|
Anders Fugmann
|
032ac50034
|
C++: Do not warn on static buffer overflow using loop counters, if the loop counter has been widened
|
2021-09-24 08:31:36 +02:00 |
|
Anders Fugmann
|
3e5f7d0db5
|
C++: using buildin offsetof for an array member indexed after end is legal
|
2021-09-24 08:31:35 +02:00 |
|
Anders Fugmann
|
a4a9e2aa96
|
C++: Weaken wording on overflow static alert text
|
2021-09-24 08:31:35 +02:00 |
|
Calum Grant
|
771e686946
|
Update security-severity scores
|
2021-06-15 13:25:17 +01:00 |
|
Calum Grant
|
a594afb828
|
Add security-severity metadata
|
2021-06-10 20:11:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
741eed93b2
|
C++: Replace minimum(any(...)) with a min aggregate. Also removed the min aggregate further down since it's no longer needed.
|
2021-05-19 09:03:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
26c4a66dc4
|
C++: Add range analysis to fix FPs.
|
2021-05-18 17:54:30 +02:00 |
|
Anders Schack-Mulligen
|
96e4a57edd
|
C++: Autoformat.
|
2020-01-29 13:11:50 +01:00 |
|
Robert Marsh
|
4018ed67a6
|
C++: respond to PR comments
|
2019-10-02 11:38:20 -07:00 |
|
Robert Marsh
|
03f72d207c
|
C++: use Declaration.hasGlobalOrStdName
|
2019-10-02 11:37:37 -07:00 |
|
Jonas Jensen
|
4ef5c9af62
|
C++: Autoformat everything
Some files that will change in #1736 have been spared.
./build -j4 target/jars/qlformat
find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input
find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input
(cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll')
buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest
|
2019-09-09 11:25:53 +02:00 |
|
Jonas Jensen
|
f1d7fde49d
|
C++: Use localExprFlow in existing queries
This shortens the queries a bit and ensures test coverage of the new
predicate.
|
2019-09-02 09:29:12 +02:00 |
|
Jonas Jensen
|
5e789901df
|
C++: Remove all uses of hasQualifiedName/1
|
2019-05-03 10:37:48 +02:00 |
|
Geoffrey White
|
6234b26496
|
CPP: Make some repairs manually.
|
2019-04-23 14:45:27 +01:00 |
|
Geoffrey White
|
e395f5215f
|
CPP: Autoformat 'Critical'.
|
2019-04-23 14:45:27 +01:00 |
|
Geoffrey White
|
cb609f4be0
|
CPP: Be conservative where there are multiple flow sources.
|
2018-11-22 15:50:13 +00:00 |
|
Geoffrey White
|
d57574e92c
|
CPP: localFlowStep* -> localFlow.
|
2018-11-22 15:50:13 +00:00 |
|
Geoffrey White
|
ea56a5d9ce
|
CPP: Add local dataflow to (one bit of) OverflowStatic.ql.
|
2018-11-22 15:49:13 +00:00 |
|
Pavel Avgustinov
|
b55526aa58
|
QL code and tests for C#/C++/JavaScript.
|
2018-08-02 17:53:23 +01:00 |
|