Frama-C:
Kernel
Analysis scripts
Plug-ins:
Alias
Aorai
Api Generator
Callgraph
Constant Propagation
Dive
E-ACSL
Eva
From
Impact
Inout
Instantiate
Loop Analysis
Markdown Report
Metrics
Nonterm
Obfuscator
Occurrence
PDG
Postdominators
Ptests
Reduc
Region
Report
Rtegen
Scope
Security Slicing
Server
Slicing
Sparecode
Studia
Users
Variadic
WP
Libraries:
Qed
Frama-C
About
Features
Documentation
Publications
Blog
Jobs
Contact
Download
API
>
frama-c-server
>
Server
>
Data
>
Jany
Frama-C API -
Jany
type
t
=
json
val
jtype :
Package.jtype
val
of_json :
json
->
t
val
to_json :
t
->
json
Frama-C