package pfff

  1. Overview
  2. Docs
Tools and APIs for program analysis, code visualization, refactoring

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

Authors

  1. Y
    Yoann Padioleau <yoann.padioleau@gmail.com>

Maintainers

  1. Y
    yoann.padioleau@gmail.com

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.fact
type env = {
  1. scope : string;
  2. c_file_readable : Common.filename;
  3. long_format : bool;
  4. globals : Graph_code.graph;
  5. globals_renames : Ast_c.name -> Ast_c.name;
  6. locals : (string * Ast_c.type_ option) list ref;
  7. facts : fact list ref;
}
val instrs_of_expr : env -> Ast_c.expr -> Ast_cil.instr list
val long_format : bool ref
val facts_of_instr : env -> Ast_cil.instr -> fact list
val facts_of_def : env -> Ast_c.toplevel -> fact list
val return_fact : env -> Ast_cil.instr -> fact