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.5.tar.gz
md5=e23dbd320a8681b74315162a02bf97a7
sha512=2998432bcd6d9a459331d733c4446d35459d42787fcf2fd332d3ec5131a4d358bb8f060b45d38696bcd584e1eaa8c1b21b82d7d3005e83c1ecefd22fec842ee7

doc/pfff-h_program-lang/Datalog_code/index.html

Module Datalog_code

type var = string
type func = string
type fld = string
type heap = string
type callsite = string
type fact =
  1. | PointTo of var * heap
  2. | Assign of var * var
  3. | AssignContent of var * var
  4. | AssignAddress of var * var
  5. | AssignDeref of var * var
  6. | AssignLoadField of var * var * fld
  7. | AssignStoreField of var * fld * var
  8. | AssignFieldAddress of var * var * fld
  9. | AssignArrayElt of var * var
  10. | AssignArrayDeref of var * var
  11. | AssignArrayElementAddress of var * var
  12. | Parameter of func * int * var
  13. | Return of func * var
  14. | Argument of callsite * int * var
  15. | ReturnValue of callsite * var
  16. | CallDirect of callsite * func
  17. | CallIndirect of callsite * var
val string_of_fact : fact -> string
val bddbddb_of_facts : fact list -> Common.dirname -> unit
val bddbddb_explain_tuples : Common.filename -> Common.filename