mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
481bf77d5f
- Make `InstructionViolation` abstract to avoid computing `getInstructionsUpTo()` for all instructions in the database. - Enable `consistency.ql`, which reports all consistency violations, and remove all other specialized tests.
6 lines
106 B
Plaintext
6 lines
106 B
Plaintext
import cil
|
|
import semmle.code.cil.ConsistencyChecks
|
|
|
|
from ConsistencyViolation v
|
|
select v, v.getMessage()
|