package pfff
Tools and APIs for program analysis, code visualization, refactoring
Install
Dune Dependency
Authors
Maintainers
Sources
0.39.4.tar.gz
md5=9aabf597b6de59ced5a3ecfadb1c9a13
sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e
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