Tom Hvitved a9c438924e C#: Introduce class Overridable ...

The class `Overridable` generalizes the existing class `Virtualizable` by also
including accessors. This allows for quite a bit of code to be simplified.

2021-12-14 10:52:13 +01:00

..

internal

Shared CFG: Add two more consistency queries

2021-12-10 09:56:50 +01:00

BasicBlocks.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

ControlFlowElement.qll

add explicit this to all calls to class predicates

2021-10-14 10:11:55 +02:00

ControlFlowGraph.qll

C#: Include CFG scope in TElementNode

2021-12-03 09:37:41 +01:00

Guards.qll

C#: Introduce class Overridable

2021-12-14 10:52:13 +01:00