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 6781ba36d3 [impurity] Start checking equivalence at materialized addresses in pre ... Summary: Previously, we considered a function which modifies its parameters to be impure even though it might not be modifying the underlying value. This resulted in FPs like the following program in Java: ``` void fresh_pure(int[] a) { a = new int[1]; } ``` Similarly, in C++, we considered the following program as impure because it was writing to `s`: ``` Simple* reassign_pure(Simple* s) { s = new Simple{2}; return s; } ``` This diff fixes that issue by starting the check for address equivalnce in pre-post not directly from the addresses of the stack variables, but from the addresses pointed to by these stack variables. That means, we only consider things to be impure if the actual values pointed by the parameters change. Reviewed By: skcho Differential Revision: D18113846 fbshipit-source-id: 3d7c712f3		5 years ago
..
annotations	[annotations] Add a README with a build instruction for maven	5 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	[cost][inferbo] Add models for androidx.collection	5 years ago
man/man1	[test determinator] Pass flag to test determinator for clang, add test	5 years ago
models	[biabd] rename models-related things to "biabduction-..."	5 years ago
src	[impurity] Start checking equivalence at materialized addresses in pre	5 years ago
tests	[impurity] Start checking equivalence at materialized addresses in pre	5 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago