Mathias Vorreiter Pedersen
|
c76dbebd9b
|
C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.
|
2023-04-13 10:47:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
d304022685
|
C++: Add QLDoc to 'isExcludeFreePair'.
|
2023-04-13 10:15:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0aeea058e
|
C++: Fix qhelp for double-free.
|
2023-04-13 10:10:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba4e3ae949
|
Update cpp/ql/src/Critical/FlowAfterFree.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-04-12 16:50:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
ab70f5722e
|
C++: More QLDoc.
|
2023-04-12 11:22:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
49cceb2901
|
C++: Fix joins.
|
2023-04-12 09:58:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
259d5b6452
|
C++: Add use-after-free change note.
|
2023-04-11 15:30:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1960c6ff9
|
C++: Add double-free change note.
|
2023-04-11 15:30:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c88590df2
|
C++: Accept test changes for the new use-after-query.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
725004a6fe
|
C++: Modernize use-after-free query using dataflow.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
17fe5f2317
|
C++: Change the id of the experimental double-free query to not overlap with the new non-experimental one.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
a8151b4ee4
|
C++: Add double-free tests.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb2ec15dad
|
C++: Add double-free query documentation.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
cc12e74c23
|
C++: Add double-free query.
|
2023-04-11 14:44:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
dfe00ffe4b
|
C++: Add a flow-after-free library.
|
2023-04-11 14:40:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
d65bb3b232
|
C++: Make basic block information available from dataflow nodes.
|
2023-04-11 13:52:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
f257e85511
|
C++: Accept test changes in PrintAST.
|
2023-04-04 16:21:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
7a32299f34
|
C++: Oops. Forgot to replace one use of a deprecated predicate.
|
2023-04-04 15:30:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
6467ba4324
|
C++: Add change note.
|
2023-04-04 15:19:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
f2197e67f5
|
C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.
|
2023-04-04 15:14:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f28cf25ba2
|
Merge pull request #12755 from MathiasVP/aggregate-initialization-ir
C++: IR generation for repeated initializers
|
2023-04-04 15:04:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c26ad7c2d
|
C++: Expand QLDoc.
|
2023-04-04 14:02:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
4033ed33d8
|
C++: Add evil testcase.
|
2023-04-04 13:50:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
86fd2d5309
|
Merge pull request #12747 from MathiasVP/promote-new-range-analysis-out-of-experimental
C++: Promote IR-based range-analysis library out of experimental
|
2023-04-04 11:17:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
52682e2ccb
|
C++: Replace the word 'repetition' with 'position' to properly reflect the semantics of the dbscheme.
|
2023-04-04 11:02:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
3daefa8b9e
|
C++: Add more tests.
|
2023-04-04 10:54:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
6dd6488437
|
C++: Introduce 'getAnElementExpr' and 'getAnExpr'.
|
2023-04-04 10:12:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
ea180c07e4
|
C++: Accept test changes.
|
2023-04-04 10:12:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
bef0a159c0
|
C++: IR generation for repeated initializers.
|
2023-04-04 10:08:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
a0df7d22cd
|
C++: Add tests for designated initializers with repetitions.
|
2023-04-04 10:08:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
f007083ef0
|
C++: Switch back to a 'Bound' instead of a 'SemBound'.
|
2023-04-04 09:43:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
f6e774ed2e
|
C++: Alias the experimental 'Bound.qll' with the non-experimental one.
|
2023-04-03 18:18:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
c19edc5f0b
|
C++: Fix Code Scanning errors.
|
2023-04-03 15:17:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa337c72c2
|
C++: Update import paths in tests and experimental queries.
|
2023-04-03 15:17:37 +01:00 |
|
Alexandre Boulgakov
|
0aa39c0ca0
|
Merge pull request #12712 from github/sashabu/repeated-initializers
C++: Support repeated initializers in dbscheme.
|
2023-04-03 14:46:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c5ca082ce
|
C++: Delete the experimental range-analysis library.
|
2023-04-03 13:53:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
e8800a6dba
|
C++: Move the new range-analysis library out of experimental and into an 'internal' directory.
|
2023-04-03 13:53:43 +01:00 |
|
Jeroen Ketema
|
e5c7c88588
|
Merge pull request #12737 from MathiasVP/speed-up-gvn
C++: Speed up non-linear recursion in GVN library
|
2023-04-03 10:46:37 +02:00 |
|
Jeroen Ketema
|
1d9fc8a581
|
Merge branch 'main' into sashabu/repeated-initializers
|
2023-04-03 09:48:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
9a34a7b7cc
|
Merge pull request #12719 from jketema/typebound-size
|
2023-04-03 08:31:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
e5700e07c7
|
C++: Fix join order in 'cpp/unsafe-strncat'.
|
2023-03-31 21:33:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
6638df1578
|
C++: Sync identical files.
|
2023-03-31 18:25:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b33d26852
|
C++: Speed up non-linear recursion in GVN.
|
2023-03-31 18:25:19 +01:00 |
|
Alexandre Boulgakov
|
ddd44b4c13
|
C++: Correct repeated initializers downgrade script compatibility to full.
|
2023-03-31 17:53:12 +01:00 |
|
Alexandre Boulgakov
|
e593f0f7b3
|
C++: Update database stats.
|
2023-03-31 17:53:12 +01:00 |
|
Alexandre Boulgakov
|
b5932debc0
|
C++: Add db upgrade and downgrade scripts for repeated initializers.
|
2023-03-31 17:53:12 +01:00 |
|
Alexandre Boulgakov
|
d0a77a8433
|
C++: Support repeated initializers in dbscheme.
|
2023-03-31 17:53:12 +01:00 |
|
Jeroen Ketema
|
8d9b96b776
|
C++: Drop the bit size restriction in typeBound and use float
|
2023-03-31 14:36:11 +02:00 |
|
Geoffrey White
|
cc841a68f6
|
Merge pull request #11921 from gsingh93/range-node
C++: Add RangeNode class
|
2023-03-31 13:22:19 +01:00 |
|
Robert Marsh
|
d03dd49904
|
Merge pull request #12622 from MathiasVP/skip-safe-conversions-in-range-analysis
C++: Range analysis on `EquivalenceClass`es
|
2023-03-30 10:08:59 -04:00 |
|