Mathias Vorreiter Pedersen
|
23b07e5589
|
Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-gettypeimpl-in-ir-dataflow
|
2022-10-25 12:52:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
b85d3bc829
|
Merge branch 'main' into replace-ast-with-ir-use-usedataflow
|
2022-10-25 12:51:30 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4d434ee05
|
C++: Fix 'getType' for indirect dataflow nodes in IR dataflow.
|
2022-10-25 12:24:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
a7d6f4ff19
|
C++: Fix pointer/pointee conflation and handle flow through '++' when tracking indirect flow.
|
2022-10-24 14:23:43 +02:00 |
|
Geoffrey White
|
2f849b4e77
|
C++: Change note.
|
2022-10-21 17:53:11 +01:00 |
|
Robert Marsh
|
88708d015c
|
C++: additional comments for modulus analysis
|
2022-10-21 12:50:41 -04:00 |
|
Geoffrey White
|
0d030d2b13
|
C++: Fix FormatLiteral.getMaxConvertedLength bug.
|
2022-10-21 17:29:55 +01:00 |
|
github-actions[bot]
|
be7693283b
|
Post-release preparation for codeql-cli-2.11.2
|
2022-10-21 08:07:17 +00:00 |
|
github-actions[bot]
|
9a0848bbc4
|
Release preparation for version 2.11.2
|
2022-10-20 11:05:19 +00:00 |
|
Robert Marsh
|
2f0c7729ff
|
Merge pull request #10818 from github/mathiasvp/fix-join-in-ssa-internals
C++: Fix join in `SsaInternals`
|
2022-10-17 13:36:32 -04:00 |
|
Josh Soref
|
86ad9f5c92
|
spelling: whose
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
dd5c455e8b
|
spelling: variable
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
b75b0ba60f
|
spelling: specified
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
c5acca4e24
|
spelling: sequence
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
a588bcf268
|
spelling: representing
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
ad3f6f4ccd
|
spelling: provides
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
bbc9931b05
|
spelling: primitive
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
0c3eb53602
|
spelling: library
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
1453efe5b6
|
spelling: instructions
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
d12285841e
|
spelling: initializers
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:44 -04:00 |
|
Josh Soref
|
83cf8a85ce
|
spelling: indirect
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
8f511adbd9
|
spelling: implicit
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
0e14dd1447
|
spelling: hypothetical
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
be07baca69
|
spelling: expressions
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
7ce4174f64
|
spelling: exploit
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
c575a2b90e
|
spelling: evaluates
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
bf86e53af1
|
spelling: encryption
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
22d170a9d2
|
spelling: dynamic
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
488dd3fce5
|
spelling: dimensions
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
68ea820eda
|
spelling: different
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
df7bdcd0ab
|
spelling: determined
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
1c290b9b88
|
spelling: declared
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
2027278f66
|
spelling: corresponds
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
56684ca937
|
spelling: configuration
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
0536fb78be
|
spelling: circuit
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
2a3e2d35e6
|
spelling: certain
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
0fe91cb97f
|
spelling: approximation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
950ce8ad37
|
spelling: alignof
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:43 -04:00 |
|
Josh Soref
|
dc2c4f7404
|
spelling: aliased
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:42 -04:00 |
|
Josh Soref
|
5bc8004066
|
spelling: another class
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-14 15:08:41 -04:00 |
|
Mathias Vorreiter Pedersen
|
01a81a9c56
|
C++: Repair the 'FlowSources' library in preparation for IR-based use-use dataflow.
|
2022-10-14 14:52:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
3ec60f11bb
|
C++: Repair 'Buffer.qll'.
|
2022-10-14 12:25:17 +02:00 |
|
Mathias Vorreiter Pedersen
|
134cc6291c
|
C++: Fix join in SsaInternals.
|
2022-10-14 10:29:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
d62ae96763
|
C++: Fix ql-for-ql alerts.
|
2022-10-14 10:14:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
41cbef81ec
|
C++: Replace AST dataflow with IR dataflow.
|
2022-10-14 10:14:52 +02:00 |
|
Anders Schack-Mulligen
|
036724ce8d
|
Dataflow: Sync.
|
2022-10-13 11:03:30 +02:00 |
|
Nick Rolfe
|
cfb9277cd7
|
C++: use explicit this
|
2022-10-12 16:11:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
f88aaf37a5
|
C++: Add 'UninitializedNode' to IR dataflow.
|
2022-10-11 16:08:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ac9c1e832
|
Merge pull request #10713 from MathiasVP/fix-types-in-ir-dataflow
C++: Fix `getType` for experimental IR dataflow
|
2022-10-11 15:20:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
95e798565b
|
C++: Expand on the comment about missing types in the database. Also rename 'getType0' to 'getTypeImpl' to avoid confusion.
|
2022-10-11 12:57:51 +01:00 |
|