Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Site navigation
Home
Tutorials
Quick start
While tutorial
Types tutorial
Publications
PLDI'25
OOPSLA'24
SAS'24
PLDI'24
POPL'23
VMCAI'22
RTAS'21
API
binsec_codex
codex
cudd
frama_c_codex
patricia-tree
Jobs and Contact
Page contents
Parameters
Signature
Repository
API
frama_c_codex
Core
Post_analysis
Make
Module
Post_analysis.Make
Parameters
module
R
:
Runner
Signature
val
runner :
unit
->
unit