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-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