package pfff

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.39.3.tar.gz
md5=4d66e9bfbc4cca184d4b6c4db8b1ecd3
sha512=d6949417711a966adb706976de6db160a1c16389c90fa7f744024a23feaadfc319be126975ddb058213340bacceb868c669ef2087cdc69fde35209456759db1f

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.