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.1.tar.gz
sha256=d5be49a8ee9d26bff98b902533e0bde59cf1613a6e8f15651492205434f35c0e
md5=637a4f055de86bf02ad372b45e5567a9

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