Robert Marsh
|
427b853077
|
C++: add another test case for IR stmtexpr
|
2019-04-04 10:55:27 -07:00 |
|
Robert Marsh
|
81dd03848f
|
C++: respond to PR comments
|
2019-04-04 10:52:08 -07:00 |
|
Robert Marsh
|
f2fbdac31b
|
C++: add support for GNU StmtExpr in IR
|
2019-04-04 10:51:06 -07:00 |
|
Anders Schack-Mulligen
|
15fa4f8b7a
|
Merge pull request #1007 from jbj/dataflow-dispatch-no-ctx
C++: Simplify stubs in DataFlowDispatch.qll
|
2019-04-04 11:25:50 +02:00 |
|
Jonas Jensen
|
d0091b28ee
|
Merge pull request #1199 from geoffw0/printfld
CPP: Support %Ld in printf.qll
|
2019-04-03 15:38:16 +02:00 |
|
Geoffrey White
|
d4c931cf11
|
CPP: Permit %Ld and similar.
|
2019-04-03 11:46:48 +01:00 |
|
Geoffrey White
|
b3fd7ab757
|
CPP: Add test cases.
|
2019-04-03 11:46:30 +01:00 |
|
Jonas Jensen
|
f9c9efeabe
|
Merge pull request #1188 from geoffw0/donotedit
CPP: Consider more files to be generated.
|
2019-04-03 09:52:28 +02:00 |
|
Robert Marsh
|
65d0412692
|
Merge pull request #1194 from geoffw0/dead-goto
CPP: Fix false positive from DeadCodeGoto.ql
|
2019-04-02 10:03:15 -07:00 |
|
Jonas Jensen
|
eae2fe5a16
|
Merge pull request #1190 from Semmle/rc/1.20
Merge 1.20 into master
|
2019-04-02 15:29:12 +02:00 |
|
Geoffrey White
|
8979361255
|
CPP: Exclude functions containing preprocessor logic.
|
2019-04-02 14:24:37 +01:00 |
|
Geoffrey White
|
5cb30b04cc
|
CPP: Add a test case.
|
2019-04-02 13:15:40 +01:00 |
|
Geoffrey White
|
bce6ee5c27
|
CPP: Consider more files to be generated.
|
2019-04-02 09:19:55 +01:00 |
|
Arthur Baars
|
5eb58f3ba2
|
C++: fix HubClasses.ql by changing its kind to 'table'
|
2019-04-01 16:17:23 +02:00 |
|
Arthur Baars
|
4b95fbbb39
|
C++ Fix select statements of AV 3 and 81
|
2019-04-01 11:20:12 +02:00 |
|
Arthur Baars
|
ba7fdddafb
|
Change @kind to 'table' for test and sanity checks queries that don't select problems
|
2019-04-01 11:20:12 +02:00 |
|
Geoffrey White
|
a6e0296c0c
|
CPP: Be slash/case insensitive.
|
2019-03-29 11:19:20 +00:00 |
|
Geoffrey White
|
c8caca3305
|
CPP: Add test cases for %ls, %hs.
|
2019-03-29 11:19:20 +00:00 |
|
Geoffrey White
|
f5a7d7a035
|
CPP: Correct a few comments.
|
2019-03-29 11:19:19 +00:00 |
|
Geoffrey White
|
66e87fc34c
|
CPP: Detect Microsoft compilations even more reliably.
|
2019-03-29 11:18:32 +00:00 |
|
Geoffrey White
|
5911699c55
|
CPP: Clean up some remaining old 'isWideCharDefault' logic that has caused confusion.
|
2019-03-29 11:18:31 +00:00 |
|
Geoffrey White
|
eef050dd47
|
CPP: Improve deduction of %S types in FormattingFunction.qll.
|
2019-03-29 11:18:31 +00:00 |
|
Geoffrey White
|
4a25c37ecc
|
CPP: Detect Microsoft compilations somewhat more reliably.
|
2019-03-29 11:18:31 +00:00 |
|
Geoffrey White
|
975a0bbf0d
|
CPP: Handle %s/%c/%S/%C correctly on non-MS platforms.
|
2019-03-29 11:18:31 +00:00 |
|
Geoffrey White
|
648cdbab6c
|
CPP: Add FormattingFunction.getFormatCharType() and test.
|
2019-03-29 11:18:31 +00:00 |
|
Geoffrey White
|
162c9981bd
|
CPP: Add some test cases.
|
2019-03-29 11:18:31 +00:00 |
|
Jonas Jensen
|
68a19d7d3e
|
Merge branch 'master' into taintedmalloc
|
2019-03-29 09:12:38 +01:00 |
|
Jason Reed
|
d03b5bca31
|
C++: Fix non-private imports.
|
2019-03-28 20:39:29 -04:00 |
|
Jason Reed
|
9c0be34fd4
|
C++: Remove accidental redundancy.
|
2019-03-28 20:39:29 -04:00 |
|
Jason Reed
|
23ee7ee928
|
C++: Teach range analysis to pay attention to NaNs.
|
2019-03-28 20:39:29 -04:00 |
|
Geoffrey White
|
f358e61719
|
CPP: Add a reference about include optimization to the qhelp for AV Rule 35.
|
2019-03-28 16:37:50 +00:00 |
|
Geoffrey White
|
faa23a53be
|
CPP: Update expected for changes elsewhere.
|
2019-03-28 15:49:36 +00:00 |
|
Geoffrey White
|
e7c02027f5
|
CPP: Fix 'BAD'.
|
2019-03-28 15:49:36 +00:00 |
|
Geoffrey White
|
743b17af50
|
CPP: Autoformat.
|
2019-03-28 15:49:36 +00:00 |
|
Geoffrey White
|
0b85966b31
|
CPP: Fix dubious [old] taint library results involving strlen.
|
2019-03-28 15:49:36 +00:00 |
|
Geoffrey White
|
8c75e730e4
|
CPP: Widen TaintedAllocationSize.ql.
|
2019-03-28 15:49:36 +00:00 |
|
Geoffrey White
|
dab1bba25c
|
CPP: Add a test of TaintedAllocationSize.
|
2019-03-28 15:49:36 +00:00 |
|
Jonas Jensen
|
debc441d03
|
Merge pull request #1158 from geoffw0/moremsalloc
CPP: Add more allocation functions to Alloc.qll
|
2019-03-27 13:51:39 +01:00 |
|
Geoffrey White
|
885df8754e
|
Merge pull request #1165 from dave-bartolomeo/dave/CompareFP
C++: Fix FP in PointlessComparison due to preprocessor
|
2019-03-27 10:54:26 +00:00 |
|
semmledocs-ac
|
fa260872b5
|
Merge pull request #1081 from rdmarsh2/rdmarsh/cpp/alloca-in-loop
C++: docs for AllocaInLoop
|
2019-03-27 09:10:24 +00:00 |
|
Jonas Jensen
|
581e765f97
|
Merge pull request #1168 from geoffw0/format-amp
CPP: %@ in format strings
|
2019-03-27 09:08:39 +01:00 |
|
Robert Marsh
|
578ed146ed
|
Merge pull request #1115 from dave-bartolomeo/dave/Lambdas
C++: IR construction for lambda expressions
|
2019-03-26 15:08:34 -07:00 |
|
Robert Marsh
|
30f744a824
|
C++/Docs: fix whitespace in AllocaInLoop.qhelp
|
2019-03-26 15:07:28 -07:00 |
|
Dave Bartolomeo
|
127b759bad
|
C++: Move a couple predicates into Exclusions.qll
|
2019-03-26 14:51:28 -07:00 |
|
Dave Bartolomeo
|
f13fc42a85
|
C++: Make recursive predicates recursive and non-recursive predicates non-recursive
|
2019-03-26 14:36:35 -07:00 |
|
Geoffrey White
|
1d0c74daa7
|
CPP: Fix typo.
|
2019-03-26 14:34:55 +00:00 |
|
Jonas Jensen
|
c923e4cd36
|
Merge pull request #1091 from geoffw0/opts
CPP: Speed up AV Rule 35.ql
|
2019-03-26 15:13:53 +01:00 |
|
Geoffrey White
|
69f87d8eee
|
CPP: Fix ODASA-3654.
|
2019-03-26 12:54:44 +00:00 |
|
Jonas Jensen
|
bdd6965d1b
|
Merge branch 'master' into moremsalloc
|
2019-03-26 13:50:14 +01:00 |
|
Geoffrey White
|
bd138238b0
|
CPP: Add a test of ODASA-3654.
|
2019-03-26 12:37:32 +00:00 |
|