Mathias Vorreiter Pedersen
|
6359388cea
|
Merge pull request #16915 from MathiasVP/fix-iterator-to-expired-container-fp-4
C++: Fix `cpp/iterator-to-expired-container` FPs
|
2024-07-09 11:23:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
39ad4d4a89
|
Merge pull request #16930 from MathiasVP/promote-unsafe-strncat-to-code-scanning
|
2024-07-08 21:51:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
2c5f007687
|
Merge pull request #16929 from MathiasVP/add-unsafe-strncat-fp
|
2024-07-08 18:54:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
9cfd06c761
|
C++: Increase the precision of 'cpp/unsafe-strncat' to high.
|
2024-07-08 16:06:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
962c73da16
|
C++: Promote 'cpp/unsafe-strncat' to Code Scanning.
|
2024-07-08 16:02:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5d04f2f4c
|
C++: Add a 'cpp/unsafe-strncat' FP.
|
2024-07-08 15:13:00 +01:00 |
|
Geoffrey White
|
8818f63ca7
|
C++: Add some practical details to the examples.
|
2024-07-08 14:32:05 +01:00 |
|
Geoffrey White
|
80af5b7725
|
C++: Add a third example for cpp/world-writable-file-creation.
|
2024-07-08 14:32:04 +01:00 |
|
Geoffrey White
|
4f0d725acd
|
C++: Add a 'good' example as well.
|
2024-07-08 14:32:03 +01:00 |
|
Geoffrey White
|
d52210d565
|
C++: Improve the example for cpp/return-stack-allocated-memory.
|
2024-07-08 14:32:01 +01:00 |
|
Geoffrey White
|
3c70583aa2
|
C++: Add close calls to examples for cpp/toctou-race-condition.
|
2024-07-08 14:32:00 +01:00 |
|
Geoffrey White
|
0288499801
|
C++: Rephrase the alert message for cpp/wrong-type-format-argument to be less prescriptive.
|
2024-07-08 14:31:59 +01:00 |
|
github-actions[bot]
|
ae3aba061b
|
Post-release preparation for codeql-cli-2.18.0
|
2024-07-08 13:30:13 +00:00 |
|
github-actions[bot]
|
b0d6778652
|
Release preparation for version 2.18.0
|
2024-07-08 09:10:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
0e6b2f0f53
|
C++: Accept query test changes.
|
2024-07-06 12:27:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
8ccdc2518f
|
C++: Accept test changes.
|
2024-07-06 12:27:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
a747ffca07
|
C++: Address definitions should also handle ssa variables that are calls.
|
2024-07-06 12:27:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
79919d3c58
|
C++: Add FP dataflow test.
|
2024-07-05 17:36:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
aad233b776
|
C++: Add FP test.
|
2024-07-05 15:52:10 +01:00 |
|
Geoffrey White
|
5d898727c0
|
C++: Add the examples to the test.
|
2024-07-04 17:11:11 +01:00 |
|
Geoffrey White
|
1343e4c9aa
|
C++: Add another 'good' example for cpp/unsigned-difference-expression-compared-zero.
|
2024-07-04 17:11:10 +01:00 |
|
Geoffrey White
|
7abece46c7
|
C++: Add a 'good' example for cpp/unsigned-difference-expression-compared-zero.
|
2024-07-04 17:11:09 +01:00 |
|
Geoffrey White
|
4de43e1bfa
|
C++: Add the examples to the test.
|
2024-07-04 17:11:08 +01:00 |
|
Geoffrey White
|
f64743e91d
|
C++: Fix mistake in example for cpp/incorrect-allocation-error-handling.
|
2024-07-04 16:19:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
4893785c68
|
C++: Accept test changes to GVN.
|
2024-07-04 15:15:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d58cf6208
|
C++: Accept query test changes.
|
2024-07-04 15:15:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
b954845318
|
C++: Ignore the new 'InitializeGroup' instruction in dataflow.
|
2024-07-04 14:22:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
6ef9dba2fb
|
C++: Accept test changes.
|
2024-07-04 14:22:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
89f0705585
|
C++: Sync identical files.
|
2024-07-04 14:22:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
72b52cc814
|
C++: Insert Chi instructions after InitializeGroup instructions whose variable group's virtual variable is all aliased memory.
|
2024-07-04 14:22:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
d1e1037586
|
C++: Accept test changes.
|
2024-07-04 14:22:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
92e814b75e
|
C++: Stub 'VariableGroup' and 'GroupedMemoryLocation' in unaliased SSA so that the pyrameterized files compile.
|
2024-07-04 14:21:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
db525f5cee
|
C++: Sync identical files.
|
2024-07-04 14:21:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
03ec184ee0
|
C++: Add 'InitializeGroup' instructions to the successor relation.
|
2024-07-04 14:21:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
c4d72e5b4f
|
C++: No need to check if the offset is non-negative. It always is because of 'defBlock.getInstruction(oldOffset)' has a result.
|
2024-07-04 14:21:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
cf8b2d55c5
|
C++: Hide away the 'multiply by two' hack in a predicate.
|
2024-07-04 14:21:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
8db7ece8d4
|
C++: Fill in trivial parts of SSA.
|
2024-07-04 14:21:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
2c4bf13d05
|
C++: Sync identical files.
|
2024-07-04 14:21:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
c54dc49891
|
C++: Improve 'toString' on the 'InitializeGroup' instruction.
|
2024-07-04 14:21:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
b185c67d4f
|
C++: Handle overlap with grouped memory locations.
|
2024-07-04 14:21:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
e7c43b3fcc
|
C++: Return grouped memory locations from 'getOperandMemoryLocation' and 'getResultMemoryLocation'.
|
2024-07-04 14:21:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
09c03d9a5f
|
C++: The virtual variable of a variable that is contained in a grouped memory location is that grouped memory location (or all aliased memory if it escapes).
|
2024-07-04 14:21:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
399d47d2cb
|
C++: Cleanup
|
2024-07-04 14:21:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
5e1c67f5f1
|
C++: Add a new 'MemoryLocation' that represents a set of allocations.
|
2024-07-04 14:21:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
c5c4f08bea
|
C++: Rename from 'getAllocation' to 'getAnAllocation'.
|
2024-07-04 12:12:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b84329e8c
|
C++: Expose the 'AddressOperand' from both 'hasResultMemoryAccess' and 'hasOperandMemoryAccess' and add a boolean column indicating whether they relate to multiple 'Allocation's.
|
2024-07-04 12:11:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c8cf3cd2c
|
C++: Sync identical files.
|
2024-07-04 12:11:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
ffa55b4bf8
|
C++: Disable special casing of Phi operands in alias analysis. Instead, we simply add flow through them.
|
2024-07-04 12:11:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef8532982c
|
C++: Sync identical files.
|
2024-07-04 12:11:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
72679c82a9
|
C++: Add a new opcode and instruction.
|
2024-07-04 12:11:54 +01:00 |
|