Mathias Vorreiter Pedersen 493ea6da31 C++: Add a new consistency check for branching on non-boolean values.

2024-11-18 15:21:28 +00:00

..

aliased_ssa_consistency_unsound.expected

C++: Add a new consistency check for branching on non-boolean values.

2024-11-18 15:21:28 +00:00

aliased_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_consistency.expected

C++: Add a new consistency check for branching on non-boolean values.

2024-11-18 15:21:28 +00:00

aliased_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_ir_unsound.expected

C++: Add a direct test of getOverlap and a test case for it.

2024-09-03 11:52:20 +01:00

aliased_ssa_ir_unsound.qlref

C++/C#: Make escape analysis unsound by default

2020-01-22 00:15:30 -07:00

aliased_ssa_ir.expected

C++: Add a direct test of getOverlap and a test case for it.

2024-09-03 11:52:20 +01:00

aliased_ssa_ir.ql

C++/C#: Make escape analysis unsound by default

2020-01-22 00:15:30 -07:00

aliased_ssa_overlap.expected

Handle may vs. must for EntireAllocationMemoryLocation

2024-10-17 19:50:50 +01:00

aliased_ssa_overlap.ql

C++: Autoformat.

2024-10-10 17:26:38 +01:00

aliased_ssa_ssa_consistency_unsound.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

aliased_ssa_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

aliased_ssa_ssa_consistency.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

aliased_ssa_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

ssa.c

C++: Add evil testcase.

2023-04-04 13:50:24 +01:00

ssa.cpp

C++: Add a direct test of getOverlap and a test case for it.

2024-09-03 11:52:20 +01:00

unaliased_ssa_consistency_unsound.expected

C++: Add a new consistency check for branching on non-boolean values.

2024-11-18 15:21:28 +00:00

unaliased_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_consistency.expected

C++: Add a new consistency check for branching on non-boolean values.

2024-11-18 15:21:28 +00:00

unaliased_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_ir_unsound.expected

C++: Add a direct test of getOverlap and a test case for it.

2024-09-03 11:52:20 +01:00

unaliased_ssa_ir_unsound.qlref

C++/C#: Make escape analysis unsound by default

2020-01-22 00:15:30 -07:00

unaliased_ssa_ir.expected

C++: Add a direct test of getOverlap and a test case for it.

2024-09-03 11:52:20 +01:00

unaliased_ssa_ir.ql

C++/C#: Make escape analysis unsound by default

2020-01-22 00:15:30 -07:00

unaliased_ssa_ssa_consistency_unsound.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

unaliased_ssa_ssa_consistency_unsound.qlref

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00

unaliased_ssa_ssa_consistency.expected

C++: Fix MemoryLocation with multiple VirtualVariables

2020-05-27 14:06:59 -04:00

unaliased_ssa_ssa_consistency.ql

C++/C#: Rename sanity -> consistency

2020-05-11 13:29:52 -04:00