cil

Here are 3 public repositories matching this topic...

IfStm Eliminate extension base on CIL

compiler obfuscator cil

Expediting verification of assertions in loops by isolation

ocaml verification programming-languages cil model-checking cbmc c-checker

A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier

Add a description, image, and links to the cil topic page so that developers can more easily learn about it.

To associate your repository with the cil topic, visit your repo's landing page and select "manage topics."