IR
module AnalysisGlobalState : sig ... end
module Annot : sig ... end
The Smallfoot Intermediate Language: Annotations
module Attributes : sig ... end
Module to manage the table of attributes.
module BUILTINS : sig ... end
module BiabductionModels : sig ... end
module Binop : sig ... end
The Smallfoot Intermediate Language: Binary Operators
module BuiltinDecl : sig ... end
Procnames for the builtin functions supported
module CSharpClassName : sig ... end
module CallFlags : sig ... end
The Smallfoot Intermediate Language: Call Flags
module CapturedVar : sig ... end
module Cfg : sig ... end
Control Flow Graph for Interprocedural Analysis
module ClangMethodKind : sig ... end
module Const : sig ... end
The Smallfoot Intermediate Language: Constants
module DecompiledExp : sig ... end
The Smallfoot Intermediate Language: Decompiled Expressions
module Dependencies : sig ... end
module DotCfg : sig ... end
module ErlangTypeName : sig ... end
module Exp : sig ... end
The Smallfoot Intermediate Language: Expressions
module Fieldname : sig ... end
module Filtering : sig ... end
module HackClassName : sig ... end
module Ident : sig ... end
Identifiers: program variables and logical variables
module Inferconfig : sig ... end
module Instrs : sig ... end
Manipulate possibly-reversed lists of instructions efficiently
module IntLit : sig ... end
module IntegerWidths : sig ... end
The Smallfoot Intermediate Language: Types
module Io_infer : sig ... end
Module to handle IO. Includes html and xml modules.
module JConfig : sig ... end
module JavaClassName : sig ... end
module Mangled : sig ... end
Module for Mangled Names
module MissingDependencies : sig ... end
Stateful store of procedure and sourcefile dependencies found to be missing from the capture database during analysis.
module ObjCDispatchModels : sig ... end
module PredSymb : sig ... end
The Smallfoot Intermediate Language: Predicate Symbols
module ProcAttributes : sig ... end
module Procdesc : sig ... end
module Procname : sig ... end
module Pvar : sig ... end
Program variables.
module PythonClassName : sig ... end
module QualifiedCppName : sig ... end
module Sil : sig ... end
The Smallfoot Intermediate Language
module SourceFiles : sig ... end
module Specialization : sig ... end
module SpecializeProcdesc : sig ... end
module SpecializedProcname : sig ... end
module StdTyp : sig ... end
module Struct : sig ... end
module Subtype : sig ... end
The Smallfoot Intermediate Language: Subtypes
module Tenv : sig ... end
Module for Type Environments.
module Typ : sig ... end
The Smallfoot Intermediate Language: Types
module Unop : sig ... end
The Smallfoot Intermediate Language: Unary Operators
module Var : sig ... end
Single abstraction for all the kinds of variables in SIL
module WeakTopologicalOrder : sig ... end