Ezgi Çiçek
305b2a74b8
[hoisting] Add new issue type for only invariant-modeled calls
...
Reviewed By: ngorogiannis
Differential Revision: D13194812
fbshipit-source-id: 0c020789d
6 years ago
Mehdi Bouaziz
8abe07ba20
[html debug] Cleanup unused CSS classes + use UTF-8
...
Reviewed By: jvillard
Differential Revision: D13187831
fbshipit-source-id: da99fdd45
6 years ago
Jules Villard
4393f43325
[travis] fix osx build
...
Summary: Untested code didn't work, surprise!
Reviewed By: mbouaziz
Differential Revision: D13179256
fbshipit-source-id: 30a078242
6 years ago
Nikos Gorogiannis
6aba4b7ca2
[AI] kill astate type
...
Reviewed By: mbouaziz
Differential Revision: D10119192
fbshipit-source-id: 4868cbcb1
6 years ago
Mehdi Bouaziz
0ec75c587f
[inferbo] Minor simplifications
...
Reviewed By: ezgicicek
Differential Revision: D13190906
fbshipit-source-id: 0bb65fa30
6 years ago
Mehdi Bouaziz
e505fd2dba
[inferbo] Pointer comparison
...
Reviewed By: skcho
Differential Revision: D13066771
fbshipit-source-id: 134b27db8
6 years ago
Mehdi Bouaziz
8443cd73f6
[quandary] Allow sinks to have multiple taints
...
Reviewed By: jvillard
Differential Revision: D13163848
fbshipit-source-id: 929e4d0ea
6 years ago
Mehdi Bouaziz
8de2b93cab
[cost] Abstract type for polynomial degree
...
Reviewed By: ezgicicek
Differential Revision: D13175851
fbshipit-source-id: db9078037
6 years ago
Nikos Gorogiannis
bbd26769c9
[starvation] c++/Obj C deadlocks
...
Reviewed By: da319
Differential Revision: D9042172
fbshipit-source-id: a7052e061
6 years ago
Mehdi Bouaziz
5b3bca5562
[quandary] Allow sources to have multiple taints
...
Reviewed By: ngorogiannis
Differential Revision: D13163833
fbshipit-source-id: 89c27acea
6 years ago
Mehdi Bouaziz
8240ca4430
More unicode fun: bottom & top
...
Reviewed By: ngorogiannis
Differential Revision: D13175927
fbshipit-source-id: 7957deb84
6 years ago
Mehdi Bouaziz
5f60ffaa8f
[inferbo] Trace refactoring
...
Reviewed By: skcho
Differential Revision: D13116116
fbshipit-source-id: 0b885dcfb
6 years ago
Nikos Gorogiannis
2c6a705116
[racerd] kill stability
...
Reviewed By: jvillard
Differential Revision: D13180369
fbshipit-source-id: 5684ed318
6 years ago
Mehdi Bouaziz
f4e9975783
[inferbo] Fix deadcode
...
Reviewed By: skcho
Differential Revision: D13177132
fbshipit-source-id: 58c1fb538
6 years ago
Jules Villard
8849458521
[ocaml] switch to 4.07.1
...
Summary: About time.
Reviewed By: ngorogiannis
Differential Revision: D13168751
fbshipit-source-id: 9b095a587
6 years ago
Jules Villard
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
Mehdi Bouaziz
94e723bc82
[inferbo] Use Flat in relational domain
...
Reviewed By: skcho
Differential Revision: D13175923
fbshipit-source-id: e4bfa5ce6
6 years ago
Mehdi Bouaziz
8292323307
[inferbo/cost] Move Polynomials out of Itv.ml
...
Reviewed By: skcho
Differential Revision: D13173440
fbshipit-source-id: d1e699ee6
6 years ago
Mehdi Bouaziz
3cd57849c4
[inferbo] Remove duplicated module NonNegativeBound
...
Reviewed By: skcho
Differential Revision: D13173264
fbshipit-source-id: 4f2477889
6 years ago
Sungkeun Cho
8010b27cbd
[inferbo] Prepare delayed integer overflow reporting
...
Reviewed By: mbouaziz
Differential Revision: D13166479
fbshipit-source-id: 758f44512
6 years ago
Sungkeun Cho
edc090544a
[inferbo] Improve pp of Inferbo in traceview
...
Reviewed By: mbouaziz
Differential Revision: D13113991
fbshipit-source-id: 149652eff
6 years ago
Mehdi Bouaziz
1f96fd03cc
[inferbo] SymbolPath: rename Index -> Deref
...
Reviewed By: ezgicicek
Differential Revision: D13128441
fbshipit-source-id: f6547ed7c
6 years ago
Mehdi Bouaziz
a93e05e9fe
[inferbo] AliasRet: use AbstractDomain.Flat
...
Reviewed By: skcho
Differential Revision: D13164265
fbshipit-source-id: 66aad24fa
6 years ago
Mehdi Bouaziz
3a5d995369
[inferbo] AliasMap: use AbstractDomain.Map
...
Reviewed By: skcho
Differential Revision: D13164209
fbshipit-source-id: 2a1339d89
6 years ago
Nikos Gorogiannis
1121efbe59
[concurrency] refactor C++ models
...
Reviewed By: jberdine
Differential Revision: D13153721
fbshipit-source-id: 316f1922d
6 years ago
Daiva Naudziuniene
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
Mehdi Bouaziz
d6423cf598
[inferbo] Preparing for trace rewrite
...
Reviewed By: skcho
Differential Revision: D13116106
fbshipit-source-id: 36cdad380
6 years ago
Mehdi Bouaziz
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
Dino Distefano
9028b91ec7
Load data from performance profiler
...
Reviewed By: martinoluca
Differential Revision: D9593836
fbshipit-source-id: 923bfc1f3
6 years ago
Martino Luca
664978d654
Revert D12819709 to patch OOM events
...
Reviewed By: mbouaziz, ddino
Differential Revision: D13138398
fbshipit-source-id: c9a028c37
6 years ago
Ezgi Çiçek
613c4a2848
[purity] Fix wrong invalidation of all params
...
Reviewed By: ddino
Differential Revision: D13119156
fbshipit-source-id: a766c16be
6 years ago
Sungkeun Cho
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
Sungkeun Cho
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
Sungkeun Cho
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
Dino Distefano
0d5a7028ab
Removing unnecessary printing
...
Reviewed By: jvillard
Differential Revision: D13137385
fbshipit-source-id: 92c6d379c
6 years ago
Nikos Gorogiannis
3b5262f185
[racerd] refactor method matching for all languages
...
Reviewed By: jeremydubreil
Differential Revision: D12907796
fbshipit-source-id: 764d2eef4
6 years ago
Jules Villard
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
Mehdi Bouaziz
4a4e8c6e1b
concat_traces: always print labels
...
Reviewed By: jvillard
Differential Revision: D13118979
fbshipit-source-id: 0875b7777
6 years ago
Mehdi Bouaziz
acf740e145
Print Unicode chars only if the locale allows it
...
Reviewed By: jvillard
Differential Revision: D13118955
fbshipit-source-id: 0d817f45f
6 years ago
Ezgi Çiçek
5fa89e2563
[purity] Disable clang
...
Reviewed By: jvillard
Differential Revision: D13118428
fbshipit-source-id: f4e86f286
6 years ago
Martino Luca
77a5fbd7ba
[Perf] Emit reports as Advice
...
Reviewed By: ddino
Differential Revision: D13118620
fbshipit-source-id: 9e2e9ce81
6 years ago
Martino Luca
b61d21cbff
[Perf] Better message for PERF VARIATION type
...
Reviewed By: ddino
Differential Revision: D13118585
fbshipit-source-id: 219b16236
6 years ago
Mehdi Bouaziz
ed25b70ff2
RacerD: use concat_traces
...
Reviewed By: jvillard
Differential Revision: D13114226
fbshipit-source-id: 820837fb2
6 years ago
Mehdi Bouaziz
efcfea5454
First step for multiple traces
...
Reviewed By: jvillard
Differential Revision: D13114225
fbshipit-source-id: face828c6
6 years ago
Mehdi Bouaziz
8d990d6470
[inferbo] Move Boolean to their own module
...
Reviewed By: skcho
Differential Revision: D13111801
fbshipit-source-id: 6eca0e1c9
6 years ago
Mehdi Bouaziz
8fcbfcb741
[inferbo] Pretty-print more abstract locations
...
Reviewed By: ezgicicek
Differential Revision: D13114228
fbshipit-source-id: 9f4b16817
6 years ago
Mehdi Bouaziz
1a3c29b7c7
Makefile: run inferbo java tests
...
Reviewed By: skcho
Differential Revision: D13114223
fbshipit-source-id: 8bd1b9da0
6 years ago
Sungkeun Cho
aa3fa55f05
[inferbo] Fix check of access condition
...
Reviewed By: mbouaziz
Differential Revision: D13114160
fbshipit-source-id: 9e46cf814
6 years ago
Sungkeun Cho
e912bf2aa5
[inferbo] Prune more for "(x + e1) < e2" cases
...
Reviewed By: mbouaziz
Differential Revision: D13095472
fbshipit-source-id: 21aef560a
6 years ago
Sungkeun Cho
e190325b82
[inferbo] Distinguish collection add against array access in pp
...
Reviewed By: mbouaziz
Differential Revision: D13096380
fbshipit-source-id: d8878749f
6 years ago