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.

Sungkeun Cho 9eca72d405 [Inferbo] Add relational domains ... Summary: It adds relational domains to Inferbo: octagon of Apron and polyhedra of Elina. - Each Mem domain value includes one relational value containing relations among symbols. The relational values are modified by the `Prune` and `Store` commands. - Each abstract value includes three symbols, which represent integer value, array offset, and array size of an abstract value. The relational domain is deactivated by default. Use the `--bo-relational-domain {oct, poly}` option for the activation, though Inferbo with the relational domains does not work at this point because some modifications of Apron and Elina we made has not been applied to their opam repositories yet. Reviewed By: jvillard Differential Revision: D8874102 fbshipit-source-id: 08e5883cb		6 years ago
..
biabduction	[tests] record error bucket in expected output	7 years ago
bufferoverrun	[Inferbo] Add relational domains	6 years ago
errors	[c] record complex sizeof() and leak from #86	6 years ago
frontend	Change license to MIT	7 years ago
performance	[Perf] Compute the degree of polynomials	6 years ago
uninit	[tests] record error bucket in expected output	7 years ago