Datalog.Factval to_string : t -> stringval is_generated_per_class : t -> IR.Typ.Name.t optionIf the fact is generated once for each class, return the corresponding class.
val entrypoint : IR.Procname.t -> tval extends : IR.Typ.Name.t -> IR.Typ.Name.t -> tval cast : IR.Procname.t -> IR.Ident.t -> IR.Ident.t -> IR.Typ.t -> tval alloc : IR.Procname.t -> IR.Ident.t -> IBase.Location.t -> IR.Typ.t -> tval virtual_call :
IR.Procname.t ->
IBase.Location.t ->
IR.Ident.t ->
IR.Procname.t ->
IR.Ident.t ->
tval static_call :
IR.Procname.t ->
IBase.Location.t ->
IR.Ident.t ->
IR.Procname.t ->
tval actual_arg :
IR.Procname.t ->
IBase.Location.t ->
IR.Ident.t ->
int ->
IR.Ident.t ->
tval formal_arg : IR.Procname.t -> int -> IR.Pvar.t -> tval actual_return : IR.Procname.t -> IBase.Location.t -> IR.Ident.t -> tval formal_return : IR.Procname.t -> IR.Ident.t -> tval implem : IR.Typ.Name.t -> IR.Procname.t -> tval load_field :
IR.Procname.t ->
IR.Ident.t ->
IR.Ident.t ->
IR.Fieldname.t ->
tval store_field :
IR.Procname.t ->
IR.Ident.t ->
IR.Fieldname.t ->
IR.Ident.t ->
tval move_load : IR.Procname.t -> IR.Ident.t -> IR.Pvar.t -> tval move_store : IR.Procname.t -> IR.Pvar.t -> IR.Ident.t -> t