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 30ca51366d [inferbo] Do not append field to the unknown location ... Summary: This diff revises how to handle the unknown location in inferbo in two ways: * stop appending field to the `Unknown` location, e.g. `Unknown.x.a` is evaluated to `Unknown` * redesign the abstract of multiple locations, like `Bottom` < `Unknown` < `Known` locations I am doing them in one diff since applying only one of them showed bad results. Background: `Unknown` was adopted for abstracting all unknown concrete locations, so we could avoid missing semantics of assignments to unknown locations. We tried to keep soundness. However, it brought some other problems related to precision and performance. 1. Sometimes especially when Inferbo failed to reason precise pointer values, `Unknown` may point to many other abstract locations. 2. At that time, value assignments to `*Unknown` makes the situation worse: many abstract locations are updated with imprecise values. This problem harmed not only its precision, but also its performance since it introduced more location entries in the abstract memory. Reviewed By: jvillard Differential Revision: D21017789 fbshipit-source-id: 0bb6bd8b5		5 years ago
..
.inferconfig	[inferbo] Substitute symbolic value of unknown function call to top	6 years ago
Array.java	[inferbo] Revise getting size of array block	5 years ago
ArrayListTest.java	[inferbo] Do not append field to the unknown location	5 years ago
ArrayMember.java	[copyright] Remove years	6 years ago
CompressedData.java	[copyright] Remove years	6 years ago
External.java	[copyright] Remove years	6 years ago
InheritanceTest.java	[inferbo] Find method of interface or abstract class	5 years ago
Makefile	[copyright] Remove years	6 years ago
StringTest.java	[inferbo] Add Java String constructor models	5 years ago
issues.exp	[inferbo] Do not append field to the unknown location	5 years ago