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 |
|
Mathias Vorreiter Pedersen
|
246ef694f6
|
Merge branch 'master' into gvn-use-impl
|
2020-02-19 10:29:46 +01:00 |
|
Robert Marsh
|
ff876aaedf
|
C++: Accept test output with IR enabled
|
2020-02-18 09:48:21 -08:00 |
|
Robert Marsh
|
adfe5f30a1
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-02-18 08:42:27 -08:00 |
|
Mathias Vorreiter Pedersen
|
4cad5549ee
|
C++: Directly import AST GVN module in tests
|
2020-02-18 12:21:14 +01:00 |
|
Jonas Jensen
|
a59c0facee
|
C++: Accept test changes for IR libs
This is for the tests in the ql repo. There are also changed tests in
the internal repo.
|
2020-02-15 21:12:20 +01:00 |
|
Jonas Jensen
|
e95ebb25a5
|
C++: Ensure tainted_diff.ql keeps using old lib
Without this, the test will compare the IR to itself after we enable it.
|
2020-02-15 21:10:29 +01:00 |
|
Robert Marsh
|
1d5971f8ec
|
C++: accept test changes from extractor update
|
2020-02-12 13:29:21 -08:00 |
|
Geoffrey White
|
75a50a1714
|
C++: Understand formatting function varargs as needing null termination.
|
2020-02-11 15:25:59 +00:00 |
|
Geoffrey White
|
2f290bd528
|
C++: Additional test cases.
|
2020-02-11 15:25:59 +00:00 |
|
Robert Marsh
|
7f69cdfb56
|
C++: Dynamic allocations in IR alias analysis
|
2020-02-07 16:37:36 -08:00 |
|
Robert Marsh
|
05c8610bbc
|
C++: tests for alias analysis of malloc
|
2020-02-07 16:35:58 -08:00 |
|
Robert Marsh
|
d1d19a7446
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
Update test expectations
|
2020-02-07 12:24:05 -08:00 |
|
Jonas Jensen
|
19286bd82a
|
Merge pull request #2765 from MathiasVP/ir-gvn-ast-wrapper-fixup
C++: Make AST GVN a wrapper for IR-based GVN
|
2020-02-07 08:49:15 +01:00 |
|
Robert Marsh
|
dac4f0fac0
|
Merge pull request #2763 from jbj/ir-VariableNode
C++: DefaultTaintTracking perf fix for globals
|
2020-02-06 18:54:14 -05:00 |
|
Robert Marsh
|
2d3a742b7f
|
C++: autoformat and accept test changes
|
2020-02-06 13:41:00 -08:00 |
|
Robert Marsh
|
692207472a
|
Merge branch 'master' into rdmarsh/cpp/ir-flow-through-outparams
|
2020-02-06 11:42:30 -08:00 |
|
Mathias Vorreiter Pedersen
|
538c2b205d
|
C++: Accept output
|
2020-02-06 18:44:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
23ca363b87
|
C++: Formatting
|
2020-02-06 15:53:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
98969e3bf9
|
C++: Accepted ir_gvn output after toString change
|
2020-02-06 15:53:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d181a7101
|
C++: Add tests and accept output
|
2020-02-06 15:48:08 +01:00 |
|