package pfff

  1. Overview
  2. Docs
Tools and APIs for program analysis, code visualization, refactoring

Install

Dune Dependency

Authors

Maintainers

Sources

0.39.4.tar.gz
md5=9aabf597b6de59ced5a3ecfadb1c9a13
sha512=8f4762840b8de0a76a8cbd972e6a4babd7b17e3830b65b5eaff017711bd247f88a29d04d64b6bd31fa3610d5e045bb48ddaaf58b279fcac19a1c53590f0b411e

doc/pfff-lang_c-analyze/Ast_cil/index.html

Module Ast_cil

type name = string Ast_c.wrap
type var = name
type lvalue =
  1. | Id of name
  2. | ObjField of var * name
  3. | ArrayAccess of var * var
  4. | DeRef of var
type rvalue =
  1. | Int of string Ast_c.wrap
  2. | Float of string Ast_c.wrap
  3. | String of string Ast_c.wrap
  4. | StaticCall of name * var list
  5. | DynamicCall of var * var list
  6. | BuiltinCall of name * var list
  7. | Alloc of Ast_c.type_
  8. | AllocArray of var * Ast_c.type_
  9. | Lv of lvalue
type instr =
  1. | Assign of var * rvalue
  2. | AssignAddress of var * lvalue
  3. | AssignLvalue of lvalue * var
OCaml

Innovation. Community. Security.