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.37.7.tar.gz
md5=d069f379342be72574b4cdc52f4ed9b4
sha512=68e9971364f5e016bad8f94bb72fd15252f19c7964424992309cdb4a9fc922dbe15d07619f500f4bcbc72f820c93d4da20f0759bb4276cd073a29a179bef9300

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