Robert Marsh
|
a0823a2582
|
C++: add argv chi chain example to ssa test
|
2020-03-12 15:06:17 -07:00 |
|
Geoffrey White
|
f4a1b41094
|
C++: Correct hasUpperBoundsCheck.
|
2020-03-12 15:45:01 +00:00 |
|
Geoffrey White
|
26ed560bd7
|
C++: Add new test cases.
|
2020-03-12 15:45:01 +00:00 |
|
Geoffrey White
|
263e51f72e
|
C++: Clean up the test.
|
2020-03-12 15:45:00 +00:00 |
|
Jonas Jensen
|
917b984909
|
Merge pull request #3050 from geoffw0/mismatching_placement_new
C++: Fix mismatching new/free FP in template code.
|
2020-03-12 12:42:29 +01:00 |
|
Geoffrey White
|
b2c5ce8dbd
|
C++: Exclude code in templates.
|
2020-03-11 18:11:45 +00:00 |
|
Geoffrey White
|
d454c8457d
|
C++: Test case.
|
2020-03-11 18:09:09 +00:00 |
|
Anders Schack-Mulligen
|
85d6b7c2ed
|
C++: Add tests.
|
2020-03-11 10:49:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
f4e8f7a1cc
|
Merge pull request #2970 from jbj/multiple-types-test
C++: Tests for variables with ambiguous types
|
2020-03-11 09:53:59 +01:00 |
|
Dave Bartolomeo
|
66fd566b66
|
Merge pull request #3006 from jbj/ir-no-static-init
C++: IR: Ignore constant static initializers
|
2020-03-10 15:46:56 -04:00 |
|
Robert Marsh
|
ba8ebe9f3a
|
C++: accept test changes
|
2020-03-10 11:41:59 -07:00 |
|
Robert Marsh
|
bba6b23019
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-03-10 11:12:19 -07:00 |
|
Dave Bartolomeo
|
ef194d3332
|
C++: Accept test output
|
2020-03-10 13:49:20 -04:00 |
|
Jonas Jensen
|
28a9baba36
|
Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access
C++: Handle constant variable accesses in SimpleRangeAnalysis.qll
|
2020-03-10 11:22:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
1a5282ae21
|
C++: Add testcase that previously resulted in a false positive
|
2020-03-09 22:33:59 +01:00 |
|
Jonas Jensen
|
0cd3eb7b7e
|
C++: Accept test changes
Some IR inconsistencies are "fixed" because we no longer translate
constant initializers of static locals.
|
2020-03-06 20:20:47 +01:00 |
|
Jonas Jensen
|
cc38abd228
|
C++: Ignore constant static initializers
|
2020-03-06 15:05:28 +01:00 |
|
Jonas Jensen
|
02f0b89a0d
|
C++: Test for constant static initializer
|
2020-03-06 15:05:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
3973a50c9b
|
C++: Add testcase for cpp/uncontrolled-allocation-size
|
2020-03-04 15:51:14 +01:00 |
|
Jonas Jensen
|
30b43b9322
|
C++: Tests for variables with ambiguous types
|
2020-03-03 14:45:04 +01:00 |
|
Ian Lynagh
|
5b0cb10f9b
|
C++: Update tests following extractor no longer extracting some unused types
|
2020-03-03 01:30:18 +00:00 |
|
Jonas Jensen
|
ec85f9f1a1
|
Merge pull request #2797 from rdmarsh2/rdmarsh/cpp/malloc-alias-locations
C++: Support dynamic memory allocations in IR alias analysis
|
2020-03-02 08:49:59 +01:00 |
|
Robert Marsh
|
28ee756c6a
|
Merge pull request #2934 from geoffw0/add_tests
C++: Test and typos.
|
2020-02-28 15:12:32 -08:00 |
|
semmle-qlci
|
ec90627a64
|
Merge pull request #2909 from yo-h/experimental
Approved by aschackmull, jbj, max-schaefer, tausbn
|
2020-02-28 03:15:58 +00:00 |
|
Geoffrey White
|
f8a61ffc4c
|
C++: Expand the test as described in ODASA-640.
|
2020-02-27 15:26:53 +00:00 |
|
Geoffrey White
|
0a7d9db335
|
C++: Add example described in ODASA-640.
|
2020-02-27 15:23:16 +00:00 |
|
Robert Marsh
|
95a762c987
|
Merge master for submodule update
|
2020-02-26 13:44:26 -08:00 |
|
Robert Marsh
|
4333fe7905
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-02-26 13:15:27 -08:00 |
|
yo-h
|
43bcd5b26c
|
Add guidelines for experimental CodeQL queries and libraries
|
2020-02-24 15:08:31 -05:00 |
|
Robert Marsh
|
ea4ca31fb3
|
Merge pull request #2907 from geoffw0/argvlocal
C++: Modify the argvlocal tests
|
2020-02-24 10:55:21 -08:00 |
|
Geoffrey White
|
4af0193c98
|
C++: Modify the argvlocal tests.
|
2020-02-24 16:51:47 +00:00 |
|
Geoffrey White
|
9f271949d5
|
C++: Adjust layout of the argvlocal test.
|
2020-02-24 15:52:31 +00:00 |
|
Jonas Jensen
|
2d9df70abc
|
Merge pull request #2887 from MathiasVP/fix-ir-gen-switch
C++: Fix IR generation for switch statements
|
2020-02-24 13:29:27 +01:00 |
|
Geoffrey White
|
a0e839d3f1
|
C++: Block duplicate taint results from 'gets' and other functions.
|
2020-02-24 11:53:22 +00:00 |
|
Geoffrey White
|
e683f6113d
|
C++: Model 'gets'.
|
2020-02-24 11:27:35 +00:00 |
|
Geoffrey White
|
8dcd46f9e7
|
C++: Add a taint test for gets.
|
2020-02-24 11:25:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
af364e66fc
|
C++/C#: Move sanity check inside InstructionSanity module and accept tests
|
2020-02-23 20:53:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9753b0ca5
|
C++/C#: Accept test output after adding sanity check to Instruction.qll
|
2020-02-21 15:09:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c08783158
|
C++: Accept output
|
2020-02-20 22:13:37 +01:00 |
|
Nick Rolfe
|
46b226e0c5
|
C++: add more extensive test for desugaring of range-based-for loops
|
2020-02-20 16:15:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
c5f38eecfe
|
C++: Fix IR generation and accept output
|
2020-02-20 15:37:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
051d574ffd
|
C++: Add switch testcases demonstrating incorrect IR
|
2020-02-20 15:31:44 +01:00 |
|
Jonas Jensen
|
97035aeb63
|
Merge pull request #2848 from geoffw0/model-sideeffects
C++: Disambiguate SideEffectFunction QLDoc.
|
2020-02-20 10:30:53 +01:00 |
|
Robert Marsh
|
bed6d2b225
|
Merge branch 'master' into rdmarsh/cpp/malloc-alias-locations
|
2020-02-19 16:44:13 -08:00 |
|
Robert Marsh
|
de66841263
|
Merge pull request #2873 from geoffw0/fixasttest2
C++: Fix another test that should be working on the AST dataflow.
|
2020-02-19 14:13:44 -08:00 |
|
Geoffrey White
|
89bbb975f9
|
C++: Effects on tests.
|
2020-02-19 14:52:49 +00:00 |
|
Geoffrey White
|
c014ca6ed7
|
C++: Rename some tests for clarity / less emphasis on the AST.
|
2020-02-19 14:33:57 +00:00 |
|
Geoffrey White
|
3e49e12126
|
C++ Repair GlobalValueNumbering (AST) test.
|
2020-02-19 14:28:46 +00:00 |
|
Geoffrey White
|
df29143b7e
|
C++: Fix a test that should be working on the AST dataflow.
|
2020-02-19 13:02:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
3a05a82c1d
|
C++: Accept output
|
2020-02-19 10:35:03 +01:00 |
|