You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard 7f12ced394 [pulse] move to SIL proper ... Summary: [apologies for the unreviewable diff...] Get rid of HIL expressions in pulse. This finishes the HIL -> SIL migration. The first step made pulse start from SIL instructions but would translate most accesses to HIL to re-use most of the existing pulse code. This diff gets rid of the intermediate translation of SIL expressions to HIL expressions. Big changes: 1. `PulseOperations` mostly rewritten, driven by using `Exp.t` instead of `HilExp.AccessExpression.t` for everything. 2. Stop trying to reverse-engineer what addresses mean in terms of access paths from program variables. Rely on the trace pointing at the right places in the code to be enough. This is because it wasn't that useful (and could even be misleading when wrong) but could be prohibitively expensive in degenerate cases (eg nodes with tens of thousands of successive array accesses...) 3. `PulseAbductiveDomain.apply_post` now returns the computed return value instead of recording it itself. 4. Change of vocabulary: `materialize` -> `eval`, `crumb` -> `event` 5. Function calls arguments are now evaluated prior to doing anything else, which saves everything else from having to (remember to) do that. In particular, this changes how models look quite a bit. Reviewed By: mbouaziz Differential Revision: D15986373 fbshipit-source-id: 1d79935de		6 years ago
..
AccessPath.ml	[copyright] Remove years	6 years ago
AccessPath.mli	[copyright] Remove years	6 years ago
Annot.ml	[Tenv] Maximum sharing	6 years ago
Annot.mli	[Tenv] Maximum sharing	6 years ago
Attributes.ml	[copyright] Remove years	6 years ago
Attributes.mli	[copyright] Remove years	6 years ago
BUILTINS.ml	[copyright] Remove years	6 years ago
Binop.ml	[copyright] Remove years	6 years ago
Binop.mli	[copyright] Remove years	6 years ago
BuiltinDecl.ml	[copyright] Remove years	6 years ago
BuiltinDecl.mli	[copyright] Remove years	6 years ago
CallFlags.ml	[copyright] Remove years	6 years ago
CallFlags.mli	[copyright] Remove years	6 years ago
CallSite.ml	[copyright] Remove years	6 years ago
CallSite.mli	[copyright] Remove years	6 years ago
Cfg.ml	Assert that there is at most one flowgraph per procedure name.	6 years ago
Cfg.mli	[copyright] Remove years	6 years ago
ClangMethodKind.ml	[copyright] Remove years	6 years ago
ClangMethodKind.mli	[copyright] Remove years	6 years ago
Const.ml	[copyright] Remove years	6 years ago
Const.mli	[copyright] Remove years	6 years ago
DecompiledExp.ml	[copyright] Remove years	6 years ago
DecompiledExp.mli	[copyright] Remove years	6 years ago
Errlog.ml	[copyright] Remove years	6 years ago
Errlog.mli	[copyright] Remove years	6 years ago
Exceptions.ml	[copyright] Remove years	6 years ago
Exceptions.mli	[copyright] Remove years	6 years ago
Exp.ml	[topl] Simple error reporting.	6 years ago
Exp.mli	[topl] Simple error reporting.	6 years ago
Filtering.ml	[copyright] Remove years	6 years ago
Filtering.mli	[copyright] Remove years	6 years ago
HilExp.ml	[pulse] move to SIL proper	6 years ago
HilExp.mli	[pulse] move to SIL proper	6 years ago
HilInstr.ml	[pulse] move to SIL	6 years ago
HilInstr.mli	[pulse] move to SIL proper	6 years ago
Ident.ml	[copyright] Remove years	6 years ago
Ident.mli	[copyright] Remove years	6 years ago
Instrs.ml	[copyright] Remove years	6 years ago
Instrs.mli	[copyright] Remove years	6 years ago
IntLit.ml	[copyright] Remove years	6 years ago
IntLit.mli	[copyright] Remove years	6 years ago
Io_infer.ml	[copyright] Remove years	6 years ago
Io_infer.mli	[copyright] Remove years	6 years ago
IssueLog.ml	[copyright] Remove years	6 years ago
IssueLog.mli	[copyright] Remove years	6 years ago
Localise.ml	[copyright] Remove years	6 years ago
Localise.mli	[copyright] Remove years	6 years ago
Mangled.ml	[topl] Simple error reporting.	6 years ago
Mangled.mli	[topl] Simple error reporting.	6 years ago
Mleak_buckets.ml	[copyright] Remove years	6 years ago
Mleak_buckets.mli	[copyright] Remove years	6 years ago
Objc_models.ml	[copyright] Remove years	6 years ago
Objc_models.mli	[copyright] Remove years	6 years ago
PredSymb.ml	[copyright] Remove years	6 years ago
PredSymb.mli	[copyright] Remove years	6 years ago
ProcAttributes.ml	[sqlite] Normalize blobs used for comparison	6 years ago
ProcAttributes.mli	[infer] Cleanup preanalysis	6 years ago
Procdesc.ml	[sqlite] Normalize blobs used for comparison	6 years ago
Procdesc.mli	[clang] destroy C++ temporaries	6 years ago
ProcnameDispatcher.ml	[pname dispatcher] more permissive templated function match	6 years ago
ProcnameDispatcher.mli	[copyright] Remove years	6 years ago
Pvar.ml	[topl] Simple error reporting.	6 years ago
Pvar.mli	[topl] Simple error reporting.	6 years ago
QualifiedCppName.ml	[copyright] Remove years	6 years ago
QualifiedCppName.mli	[copyright] Remove years	6 years ago
Sil.ml	[pulse] move to SIL proper	6 years ago
Sil.mli	[copyright] Remove years	6 years ago
SourceFiles.ml	[copyright] Remove years	6 years ago
SourceFiles.mli	[copyright] Remove years	6 years ago
SpecializeProcdesc.ml	[copyright] Remove years	6 years ago
SpecializeProcdesc.mli	[copyright] Remove years	6 years ago
Subtype.ml	[copyright] Remove years	6 years ago
Subtype.mli	[copyright] Remove years	6 years ago
Tenv.ml	[Tenv] Maximum sharing	6 years ago
Tenv.mli	[copyright] Remove years	6 years ago
Typ.ml	[topl] Simple error reporting.	6 years ago
Typ.mli	[Tenv] Maximum sharing	6 years ago
Unop.ml	[copyright] Remove years	6 years ago
Unop.mli	[copyright] Remove years	6 years ago
Var.ml	[copyright] Remove years	6 years ago
Var.mli	[copyright] Remove years	6 years ago
WeakTopologicalOrder.ml	[copyright] Remove years	6 years ago
WeakTopologicalOrder.mli	[copyright] Remove years	6 years ago
dune.in	[copyright] Remove years	6 years ago
index.mld	[doc] add `make doc` target for building html API doc	7 years ago