package pfff

You can search for identifiers within the package.

in-package search v0.2.0

Tools and APIs for program analysis, code visualization, refactoring

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

Y

Yoann Padioleau <yoann.padioleau@gmail.com>

Maintainers

Y

yoann.padioleau@gmail.com

Sources

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 =

| PointTo of var * heap
| Assign of var * var
| AssignContent of var * var
| AssignAddress of var * var
| AssignDeref of var * var
| AssignLoadField of var * var * fld
| AssignStoreField of var * fld * var
| AssignFieldAddress of var * var * fld
| AssignArrayElt of var * var
| AssignArrayDeref of var * var
| AssignArrayElementAddress of var * var
| Parameter of func * int * var
| Return of func * var
| Argument of callsite * int * var
| ReturnValue of callsite * var
| CallDirect of callsite * func
| 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