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 402f3115ea [cost] Strengthen condition for collecting control variables ... Summary: In the cost checker, the range of selected control variables are used to estimate the number of loop iteration. However, sometimes the ranges of control variables are not related to how many times the loop iteration. This diff strengthens the condition for them as: 1. integers from `size` models 2. integers constructed from `+` or `-` 3. integers constructed from `*` For the last one, the loop iteration is likely to be log scale of the range of the control variable: ``` while (i < c) { i *= 2; } ``` We will address this in the future. Reviewed By: ezgicicek Differential Revision: D17365796 fbshipit-source-id: c1e709ae8		5 years ago
..
.inferconfig	[inferbo,cost] Add symbols for unknown function calls	6 years ago
A.java	[copyright] Remove years	6 years ago
Array.java	[inferbo] Weak update on array contents	5 years ago
ArrayCost.java	[copyright] Remove years	6 years ago
ArrayListTest.java	[cost] Strengthen condition for collecting control variables	5 years ago
Break.java	[copyright] Remove years	6 years ago
CantHandle.java	[copyright] Remove years	6 years ago
CollectionTest.java	[copyright] Remove years	6 years ago
CollectionsTest.java	[inferbo] Fix the model of Collections.emptySet	5 years ago
Compound_loop.java	[copyright] Remove years	6 years ago
Continue.java	[copyright] Remove years	6 years ago
Cost_test.java	[inferbo] Add InputStream.read model	5 years ago
Cost_test_deps.java	[copyright] Remove years	6 years ago
EvilCfg.java	[copyright] Remove years	6 years ago
FieldAccess.java	[copyright] Remove years	6 years ago
IntTest.java	[inferbo] Add models for Java's Integer	5 years ago
Invariant.java	[copyright] Remove years	6 years ago
IteratorTest.java	[copyright] Remove years	6 years ago
JsonArray.java	[copyright] Remove years	6 years ago
JsonMap.java	[copyright] Remove years	6 years ago
JsonString.java	[copyright] Remove years	6 years ago
JsonType.java	[copyright] Remove years	6 years ago
JsonUtils.java	[copyright] Remove years	6 years ago
ListTest.java	[copyright] Remove years	6 years ago
Loops.java	[cost] Add modeled range	5 years ago
Makefile	[copyright] Remove years	6 years ago
MapTest.java	[copyright] Remove years	6 years ago
PreconditionTest.java	[inferbo] Prune array size in Java	5 years ago
StringTest.java	[cost][inferbo] Add models for indexOf	5 years ago
Switch.java	[copyright] Remove years	6 years ago
UnknownCallsTest.java	[inferbo] Add InputStream.read model	5 years ago
Zero.java	[copyright] Remove years	6 years ago
issues.exp	[cost] Strengthen condition for collecting control variables	5 years ago