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.4.tar.gz
md5=9aabf597b6de59ced5a3ecfadb1c9a13
sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e

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