package pfff
Tools and APIs for program analysis, code visualization, refactoring
Install
Dune Dependency
Authors
Maintainers
Sources
0.39.3.tar.gz
md5=4d66e9bfbc4cca184d4b6c4db8b1ecd3
sha512=d6949417711a966adb706976de6db160a1c16389c90fa7f744024a23feaadfc319be126975ddb058213340bacceb868c669ef2087cdc69fde35209456759db1f
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