Mathias Vorreiter Pedersen f662cceb0b C++: Use value numbering to better detect whether a write is certain.

2023-08-15 11:07:14 +01:00

..

acrossLinkTargets.cpp

…

BarrierGuard.cpp

…

clang.cpp

…

dataflow-consistency.expected

…

dataflow-consistency.ql

…

dataflow-ir-consistency.expected

…

dataflow-ir-consistency.ql

…

dispatch.cpp

…

example.c

…

globals.cpp

…

has-parameter-flow-out.expected

…

has-parameter-flow-out.ql

…

lambdas.cpp

…

localFlow.expected

…

localFlow.ql

…

ref.cpp

…

self_parameter_flow.cpp

…

self-Iterator.cpp

…

test_self_parameter_flow.expected

…

test_self_parameter_flow.ql

…

test-number-of-outnodes.expected

…

test-number-of-outnodes.ql

…

test.cpp

…

test.expected

…

test.ql

…

true_upon_entry.cpp

…

type-bugs.expected

…

type-bugs.ql

…

uninitialized.expected

…

uninitialized.ql

…