package pfff
Tools and APIs for program analysis, code visualization, refactoring
Install
Dune Dependency
Authors
Maintainers
Sources
0.39.5.tar.gz
md5=e23dbd320a8681b74315162a02bf97a7
sha512=2998432bcd6d9a459331d733c4446d35459d42787fcf2fd332d3ec5131a4d358bb8f060b45d38696bcd584e1eaa8c1b21b82d7d3005e83c1ecefd22fec842ee7
doc/pfff-lang_c-analyze/Datalog_c/index.html
Module Datalog_c
type fact = Datalog_code.facttype env = {scope : string;c_file_readable : Common.filename;long_format : bool;globals : Graph_code.graph;globals_renames : Ast_c.name -> Ast_c.name;locals : (string * Ast_c.type_ option) list ref;facts : fact list ref;
}val instrs_of_expr : env -> Ast_c.expr -> Ast_cil.instr listval long_format : bool refval facts_of_instr : env -> Ast_cil.instr -> fact listval facts_of_def : env -> Ast_c.toplevel -> fact listval return_fact : env -> Ast_cil.instr -> fact