0ec75c587f
[inferbo] Minor simplifications
...
Reviewed By: ezgicicek
Differential Revision: D13190906
fbshipit-source-id: 0bb65fa30
6 years ago
e505fd2dba
[inferbo] Pointer comparison
...
Reviewed By: skcho
Differential Revision: D13066771
fbshipit-source-id: 134b27db8
6 years ago
8443cd73f6
[quandary] Allow sinks to have multiple taints
...
Reviewed By: jvillard
Differential Revision: D13163848
fbshipit-source-id: 929e4d0ea
6 years ago
8de2b93cab
[cost] Abstract type for polynomial degree
...
Reviewed By: ezgicicek
Differential Revision: D13175851
fbshipit-source-id: db9078037
6 years ago
bbd26769c9
[starvation] c++/Obj C deadlocks
...
Reviewed By: da319
Differential Revision: D9042172
fbshipit-source-id: a7052e061
6 years ago
5b3bca5562
[quandary] Allow sources to have multiple taints
...
Reviewed By: ngorogiannis
Differential Revision: D13163833
fbshipit-source-id: 89c27acea
6 years ago
8240ca4430
More unicode fun: bottom & top
...
Reviewed By: ngorogiannis
Differential Revision: D13175927
fbshipit-source-id: 7957deb84
6 years ago
5f60ffaa8f
[inferbo] Trace refactoring
...
Reviewed By: skcho
Differential Revision: D13116116
fbshipit-source-id: 0b885dcfb
6 years ago
2c6a705116
[racerd] kill stability
...
Reviewed By: jvillard
Differential Revision: D13180369
fbshipit-source-id: 5684ed318
6 years ago
f4e9975783
[inferbo] Fix deadcode
...
Reviewed By: skcho
Differential Revision: D13177132
fbshipit-source-id: 58c1fb538
6 years ago
8849458521
[ocaml] switch to 4.07.1
...
Summary: About time.
Reviewed By: ngorogiannis
Differential Revision: D13168751
fbshipit-source-id: 9b095a587
6 years ago
c00b076a05
[setup] opam 2
...
Summary:
Switches from opam 1 to opam 2.
Opam2 has some cool new features that simplify some of the scripting.
Notable changes:
1. Use the new `opam lock` *plugin* from https://github.com/AltGr/opam-lock/ instead of https://github.com/rgrinberg/opam-lock . This has a simpler interface for our purposes.
2. Change the way `./build-infer.sh` can be called to use an already existing switch: simply pass `--user-opam-switch` to the script and it won't attempt to create/set the current switch. This can be used to build infer in a local switch for instance.
3. Take advantage of automatic pinning where possible, eg to install infer deps without using opam.locked.
Reviewed By: ngorogiannis
Differential Revision: D13167863
fbshipit-source-id: 1a667c270
6 years ago
94e723bc82
[inferbo] Use Flat in relational domain
...
Reviewed By: skcho
Differential Revision: D13175923
fbshipit-source-id: e4bfa5ce6
6 years ago
8292323307
[inferbo/cost] Move Polynomials out of Itv.ml
...
Reviewed By: skcho
Differential Revision: D13173440
fbshipit-source-id: d1e699ee6
6 years ago
3cd57849c4
[inferbo] Remove duplicated module NonNegativeBound
...
Reviewed By: skcho
Differential Revision: D13173264
fbshipit-source-id: 4f2477889
6 years ago
8010b27cbd
[inferbo] Prepare delayed integer overflow reporting
...
Reviewed By: mbouaziz
Differential Revision: D13166479
fbshipit-source-id: 758f44512
6 years ago
edc090544a
[inferbo] Improve pp of Inferbo in traceview
...
Reviewed By: mbouaziz
Differential Revision: D13113991
fbshipit-source-id: 149652eff
6 years ago
1f96fd03cc
[inferbo] SymbolPath: rename Index -> Deref
...
Reviewed By: ezgicicek
Differential Revision: D13128441
fbshipit-source-id: f6547ed7c
6 years ago
a93e05e9fe
[inferbo] AliasRet: use AbstractDomain.Flat
...
Reviewed By: skcho
Differential Revision: D13164265
fbshipit-source-id: 66aad24fa
6 years ago
3a5d995369
[inferbo] AliasMap: use AbstractDomain.Map
...
Reviewed By: skcho
Differential Revision: D13164209
fbshipit-source-id: 2a1339d89
6 years ago
1121efbe59
[concurrency] refactor C++ models
...
Reviewed By: jberdine
Differential Revision: D13153721
fbshipit-source-id: 316f1922d
6 years ago
b640d69021
[pulse] An example of false positive caused by an allocation in a branch
...
Summary: The title
Reviewed By: mbouaziz
Differential Revision: D13167332
fbshipit-source-id: dd6588904
6 years ago
d6423cf598
[inferbo] Preparing for trace rewrite
...
Reviewed By: skcho
Differential Revision: D13116106
fbshipit-source-id: 36cdad380
6 years ago
828fa236d4
[Inferbo] represents_multiple_values from path
...
Summary:
It removes the `represents_multiple_values` parameters when we can know them from `path` values.
Depends on D12939124
Reviewed By: skcho
Differential Revision: D12939130
fbshipit-source-id: 30ff768b2
6 years ago
9028b91ec7
Load data from performance profiler
...
Reviewed By: martinoluca
Differential Revision: D9593836
fbshipit-source-id: 923bfc1f3
6 years ago
664978d654
Revert D12819709 to patch OOM events
...
Reviewed By: mbouaziz, ddino
Differential Revision: D13138398
fbshipit-source-id: c9a028c37
6 years ago
613c4a2848
[purity] Fix wrong invalidation of all params
...
Reviewed By: ddino
Differential Revision: D13119156
fbshipit-source-id: a766c16be
6 years ago
b4683d965d
[inferbo] Resize array on casting
...
Summary:
It modifies sizes and offsets of array values on pointer castings.
Currently, it supports only simple castings of pointer-to-integers.
Reviewed By: mbouaziz
Differential Revision: D12920589
fbshipit-source-id: a5ba831b8
6 years ago
c8a17b9d0e
[inferbo] Pass integer type widths to eval for cast
...
Summary: In this diff, it passes the parameter of integer type widths to evaluation functions. The parameter which will be used for casting in the following diff.
Reviewed By: mbouaziz
Differential Revision: D12920581
fbshipit-source-id: 48bbc802b
6 years ago
1486a5f105
[infer] Translate casting expressions of integer pointers
...
Summary:
It enables the translation of casting expression. As of now, it
translates only the castings of pointers to integer types, in order to
avoid too much of change, which may mess the checkers up.
Reviewed By: jvillard
Differential Revision: D12920568
fbshipit-source-id: a5489df24
6 years ago
0d5a7028ab
Removing unnecessary printing
...
Reviewed By: jvillard
Differential Revision: D13137385
fbshipit-source-id: 92c6d379c
6 years ago
3b5262f185
[racerd] refactor method matching for all languages
...
Reviewed By: jeremydubreil
Differential Revision: D12907796
fbshipit-source-id: 764d2eef4
6 years ago
646aa30797
[cfg] print dotty *after* pre-analysis
...
Summary:
Useful to understand the changes in the pre-analysis, or to inspect the
CFG that checkers actually get.
This means that the pre-analysis always runs when we output the dotty,
but I don't really see a reason why not. In fact, we could probably
*always* store the CFGs as pre-analysed.
Reviewed By: mbouaziz
Differential Revision: D13102952
fbshipit-source-id: 89f3102ec
6 years ago
4a4e8c6e1b
concat_traces: always print labels
...
Reviewed By: jvillard
Differential Revision: D13118979
fbshipit-source-id: 0875b7777
6 years ago
acf740e145
Print Unicode chars only if the locale allows it
...
Reviewed By: jvillard
Differential Revision: D13118955
fbshipit-source-id: 0d817f45f
6 years ago
5fa89e2563
[purity] Disable clang
...
Reviewed By: jvillard
Differential Revision: D13118428
fbshipit-source-id: f4e86f286
6 years ago
77a5fbd7ba
[Perf] Emit reports as Advice
...
Reviewed By: ddino
Differential Revision: D13118620
fbshipit-source-id: 9e2e9ce81
6 years ago
b61d21cbff
[Perf] Better message for PERF VARIATION type
...
Reviewed By: ddino
Differential Revision: D13118585
fbshipit-source-id: 219b16236
6 years ago
ed25b70ff2
RacerD: use concat_traces
...
Reviewed By: jvillard
Differential Revision: D13114226
fbshipit-source-id: 820837fb2
6 years ago
efcfea5454
First step for multiple traces
...
Reviewed By: jvillard
Differential Revision: D13114225
fbshipit-source-id: face828c6
6 years ago
8d990d6470
[inferbo] Move Boolean to their own module
...
Reviewed By: skcho
Differential Revision: D13111801
fbshipit-source-id: 6eca0e1c9
6 years ago
8fcbfcb741
[inferbo] Pretty-print more abstract locations
...
Reviewed By: ezgicicek
Differential Revision: D13114228
fbshipit-source-id: 9f4b16817
6 years ago
1a3c29b7c7
Makefile: run inferbo java tests
...
Reviewed By: skcho
Differential Revision: D13114223
fbshipit-source-id: 8bd1b9da0
6 years ago
aa3fa55f05
[inferbo] Fix check of access condition
...
Reviewed By: mbouaziz
Differential Revision: D13114160
fbshipit-source-id: 9e46cf814
6 years ago
e912bf2aa5
[inferbo] Prune more for "(x + e1) < e2" cases
...
Reviewed By: mbouaziz
Differential Revision: D13095472
fbshipit-source-id: 21aef560a
6 years ago
e190325b82
[inferbo] Distinguish collection add against array access in pp
...
Reviewed By: mbouaziz
Differential Revision: D13096380
fbshipit-source-id: d8878749f
6 years ago
0d2b0e1ab7
[inferbo] Fix check function for is_collection_add
...
Summary: It fixes the conditions of the `check` function to address `is_collection_add` cases correctly.
Reviewed By: mbouaziz
Differential Revision: D13081281
fbshipit-source-id: 39ae5ef03
6 years ago
bc1e048fe3
[compilation database] Disable C++ modules
...
Reviewed By: da319
Differential Revision: D13102792
fbshipit-source-id: 96fce32c6
6 years ago
6d12d67613
[Perf] Embed filtering for costs reports
...
Reviewed By: mbouaziz
Differential Revision: D13103020
fbshipit-source-id: 641e549ee
6 years ago
29631b7358
[Inferbo] Differentiate array and pointer in SymbolPaths
...
Reviewed By: jvillard
Differential Revision: D12939124
fbshipit-source-id: 256d0b159
6 years ago
Mehdi Bouaziz
Nikos Gorogiannis
Jules Villard
Sungkeun Cho
Daiva Naudziuniene
Dino Distefano
Martino Luca
Ezgi Çiçek