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.

Ezgi Çiçek e1093159b0 [pulse] Distinguish error state at top level ... Summary: As soon as pulse detects an error, it completely stops the analysis and loses the state where the error occurred. This makes it difficult to debug and understand the state the program failed. Moreover, other analyses that might build on pulse (e.g. impurity), cannot access the error state. This diff aims to restore and display the state at the time of the error in `PulseExecutionState` along with the diagnostic by extending it as follows: ``` type exec_state = | represents the state at the program point that caused an error *) ``` As a result, since we don't immediately stop the analysis as soon as we find an error, we detect both errors in conditional branches simultaneously (see test result changes for examples). NOTE: We need to extend `PulseOperations.access_result` to keep track of the failed state as follows: ``` type 'a access_result = ('a, Diagnostic.t * t [denoting the exit state] ) result ``` Reviewed By: jvillard Differential Revision: D20918920 fbshipit-source-id: 432ac68d6		5 years ago
..
Makefile	[pulse] run tests against C++17	6 years ago
basic_string.cpp	[pulse] model some of `std::basic_string`	5 years ago
basics.cpp	[clang] rewrite scope computations	6 years ago
closures.cpp	[pulse] support modelling destructors	5 years ago
conditionals.cpp	[pulsebo] use inferbo in prunes	5 years ago
deduplication.cpp	[copyright] Remove years	6 years ago
exit_test.cpp	[pulse] Distinguish exit state at top level	5 years ago
fbstring.cpp	[pulse] intervals!	5 years ago
folly_DestructorGuard.cpp	[copyright] Remove years	6 years ago
frontend.cpp	[clang] NamespaceAliasDecl is just a no-op	6 years ago
interprocedural.cpp	[pulse] interprocedural histories and traces	5 years ago
issues.exp	[pulse] Distinguish error state at top level	5 years ago
join.cpp	[copyright] Remove years	6 years ago
memory_leak.cpp	[pulse] Add tests for constant abstract locations	5 years ago
nullptr.cpp	[pulse] model std::integral_constant	5 years ago
reference_wrapper.cpp	[copyright] Remove years	6 years ago
returns.cpp	[pulse] C++ temporaries bound to globals do not "escape"	6 years ago
std_atomics.cpp	[pulse] model some of `std::atomic`	5 years ago
std_visit.cpp	[clang] fix translation of `initListExpr` again	6 years ago
temporaries.cpp	[clang] fix destructor placement for temporaries in conditionals	6 years ago
throw_test.cpp	[pulse] Distinguish exit state at top level	5 years ago
trace.cpp	[pulse] interprocedural histories and traces	5 years ago
unknown_functions.cpp	[pulse] Do not havoc arguments of unknown functions that are pointers to const	5 years ago
use_after_delete.cpp	[copyright] Remove years	6 years ago
use_after_destructor.cpp	[clang] destroy C++ temporaries	6 years ago
use_after_free.cpp	[pulse] model the fact `free(0)` is a no-op	5 years ago
use_after_scope.cpp	[pulse] Handle stack refs escaping their scope via pointer	5 years ago
values.cpp	[pulse] do arithmetic on pointers too	5 years ago
vector.cpp	[pulse] add model for std::vector<>::at()	5 years ago