0b8a117b5e
[infer][java] Fall back to the system compiler in case of compilation failures
...
Reviewed By: sblackshear
Differential Revision: D4218310
fbshipit-source-id: 3bf133a
8 years ago
7b884144b5
[infer][tests] More complete test cases for the models of the Java Integer class
...
Summary: Originially, there was a missing package declaration meaning that the generated class was ending in a different place. I also added a test for equality of Integer to complement the test of no equality, which could be always true.
Reviewed By: sblackshear
Differential Revision: D4263676
fbshipit-source-id: 86ab0d3
8 years ago
0972c8d262
[quandary] don't report FP's due to flow-insensitive traces
...
Summary:
We only ought to report a source-sink flow at the call site where the sink is introduced.
Otherwise, we will report silly false positives.
Reviewed By: jeremydubreil
Differential Revision: D4234766
fbshipit-source-id: 118051f
8 years ago
3b161a3737
[thread-safety] interprocedural traces for thread safety checker
...
Summary: This should make it easier to understand complex error reports.
Reviewed By: peterogithub
Differential Revision: D4254341
fbshipit-source-id: fb32d73
8 years ago
579b982359
[thread-safety] Lay the groundwork for interprocedural trace-based reporting
...
Summary: We'll eventually want fancy interprocedural traces. This diff adds the required boilerplate for this and adds the line number of each access to the error message. Real traces will come in a follow-up
Reviewed By: peterogithub
Differential Revision: D4251985
fbshipit-source-id: c9d9823
8 years ago
ea4cf13992
[tests] remove inferTest script
...
Summary: we no longer use buck for tests and the script has no reason to exist
Reviewed By: dulmarod
Differential Revision: D4212713
fbshipit-source-id: 7bd1cca
8 years ago
827d7c3d9c
[backend][perf] Address top performance bottleneck from profiling the backend.
...
Reviewed By: jberdine
Differential Revision: D4189855
fbshipit-source-id: 0a5d286
8 years ago
226791b631
[ondemand] simplify API by removing need to pass type environment
...
Summary: Noticed this when I was writing the documentation for the abstract interpretation framework and was curious about why `Ondemand.analyze_proc` needs the type environment. It turns out that the type environment is only used to transform/normalize Infer bi-abduction specs before storing them to disk, but this can be done elsewhere. Doing this normalization elsewhere simplifies the on-demand API, which is a win for all of its clients.
Reviewed By: cristianoc
Differential Revision: D4241279
fbshipit-source-id: 957b243
8 years ago
01136cc326
[thread-safety] interprocedural analysis
...
Summary: Adding this so we can test interprocedural trace-based reporting in a subsequent diff.
Reviewed By: peterogithub
Differential Revision: D4243046
fbshipit-source-id: 7d07f20
8 years ago
937ae12f29
[thread-safety] adding models for lock methods
...
Summary: We're at risk for some silly false positives without these models.
Reviewed By: peterogithub
Differential Revision: D4244795
fbshipit-source-id: b0367e6
8 years ago
cead43b731
[infer][genrule] run the genrule integration as part of the Buck integration test
...
Reviewed By: sblackshear
Differential Revision: D4246814
fbshipit-source-id: 15b98a5
8 years ago
198bc00df7
Remove Utils compare and equal functions
...
Reviewed By: cristianoc
Differential Revision: D4232423
fbshipit-source-id: 174e896
8 years ago
83408d4d6a
ppx_compare TypeErr
...
Reviewed By: sblackshear
Differential Revision: D4232422
fbshipit-source-id: f25a67a
8 years ago
177124ce76
ppx_compare IntLit
...
Reviewed By: cristianoc
Differential Revision: D4232421
fbshipit-source-id: 2cfb989
8 years ago
608ed877d3
ppx_compare RepeatedCallsChecker
...
Reviewed By: sblackshear
Differential Revision: D4232420
fbshipit-source-id: 790bd86
8 years ago
bebb00074d
ppx_compare CheckTraceCallSequence
...
Reviewed By: sblackshear
Differential Revision: D4232419
fbshipit-source-id: 8a42309
8 years ago
9fb2258284
ppx_compare Dom
...
Reviewed By: cristianoc
Differential Revision: D4232418
fbshipit-source-id: 739d1b7
8 years ago
81d3e7085a
ppx_compare Dotty
...
Reviewed By: sblackshear
Differential Revision: D4232417
fbshipit-source-id: 5f142c8
8 years ago
6e322d96e8
ppx_compare Prover
...
Reviewed By: sblackshear
Differential Revision: D4232416
fbshipit-source-id: de7026b
8 years ago
47368b8ae6
ppx_compare Specs
...
Reviewed By: cristianoc
Differential Revision: D4232415
fbshipit-source-id: 3e2c6ae
8 years ago
5d69d04578
ppx_compare TypeAnnotations
...
Reviewed By: sblackshear
Differential Revision: D4232414
fbshipit-source-id: 216f35b
8 years ago
0c8a583cb0
ppx_compare CFrontend_utils
...
Reviewed By: cristianoc
Differential Revision: D4232412
fbshipit-source-id: 1f3c5bc
8 years ago
71664c7828
ppx_compare SiofTrace
...
Reviewed By: cristianoc
Differential Revision: D4232411
fbshipit-source-id: 52d40da
8 years ago
e397afa085
ppx_compare CContext
...
Reviewed By: cristianoc
Differential Revision: D4232410
fbshipit-source-id: 449f7a8
8 years ago
0b605c694c
ppx_compate Cfg
...
Reviewed By: cristianoc
Differential Revision: D4232409
fbshipit-source-id: 71bd578
8 years ago
da8cbe55fd
ppx_compare JavaTrace
...
Reviewed By: sblackshear
Differential Revision: D4232408
fbshipit-source-id: fa98086
8 years ago
0eb864d800
ppx_compare CppTrace
...
Reviewed By: cristianoc
Differential Revision: D4232407
fbshipit-source-id: 003c0eb
8 years ago
fe7a0c2483
ppx_compare State
...
Reviewed By: cristianoc
Differential Revision: D4232406
fbshipit-source-id: 551e6cb
8 years ago
97639ba236
ppx_compare Paths
...
Reviewed By: sblackshear
Differential Revision: D4232405
fbshipit-source-id: 075e76a
8 years ago
bbd5ef385d
ppx_compare ProcCfg
...
Reviewed By: sblackshear
Differential Revision: D4232404
fbshipit-source-id: 7f0e191
8 years ago
85d15bcc49
ppx_compare Trace
...
Reviewed By: sblackshear
Differential Revision: D4232403
fbshipit-source-id: 45e4eb8
8 years ago
b94b5f1c58
ppx_compare Procdesc
...
Reviewed By: sblackshear
Differential Revision: D4232402
fbshipit-source-id: 49ae1de
8 years ago
48dcd7bb92
ppx_compare Source
...
Reviewed By: sblackshear
Differential Revision: D4232401
fbshipit-source-id: 2b9420c
8 years ago
75527525e5
ppx_compare Errlog
...
Reviewed By: sblackshear
Differential Revision: D4232400
fbshipit-source-id: 1878002
8 years ago
4e849fa5d5
ppx_compare Localise
...
Reviewed By: sblackshear
Differential Revision: D4232399
fbshipit-source-id: e30e0f0
8 years ago
344e724a85
ppx_compare Prop
...
Reviewed By: cristianoc
Differential Revision: D4232398
fbshipit-source-id: b00c843
8 years ago
356d081e1f
ppx_compare AccessPath
...
Reviewed By: cristianoc
Differential Revision: D4232397
fbshipit-source-id: a72717b
8 years ago
9bc72ad790
ppx_compare Var
...
Reviewed By: sblackshear
Differential Revision: D4232396
fbshipit-source-id: 25dc464
8 years ago
aa5998a9d1
ppx_compare Sil
...
Reviewed By: cristianoc
Differential Revision: D4232394
fbshipit-source-id: 3296d74
8 years ago
6298d043e6
ppx_compare PredSymb
...
Reviewed By: cristianoc
Differential Revision: D4232393
fbshipit-source-id: 384182b
8 years ago
71ed8c9e1d
ppx_compare Exp
...
Reviewed By: cristianoc
Differential Revision: D4232392
fbshipit-source-id: 930d2ea
8 years ago
e36a768d0c
Use natural order of Cast expressions
...
Reviewed By: cristianoc
Differential Revision: D4232391
fbshipit-source-id: f3be9f8
8 years ago
f73f997e5a
ppx_compare TraceElem
...
Reviewed By: cristianoc
Differential Revision: D4232390
fbshipit-source-id: aa25c4a
8 years ago
10046e1848
ppx_compare Passthrough
...
Reviewed By: cristianoc
Differential Revision: D4232389
fbshipit-source-id: ffffa6d
8 years ago
1a0df1029a
ppx_compare CallSite
...
Reviewed By: cristianoc
Differential Revision: D4232388
fbshipit-source-id: 2673480
8 years ago
8097de5bfd
ppx_compare Mleak_buckets
...
Reviewed By: cristianoc
Differential Revision: D4232387
fbshipit-source-id: 5965bd7
8 years ago
25c3cb41bd
ppx_compare CallFlags
...
Reviewed By: cristianoc
Differential Revision: D4232386
fbshipit-source-id: 8b2e568
8 years ago
7a5e7c28b5
ppx_compare Const
...
Reviewed By: cristianoc
Differential Revision: D4232385
fbshipit-source-id: c530aa8
8 years ago
952855288d
ppx_compare StructTyp
...
Reviewed By: sblackshear
Differential Revision: D4232383
fbshipit-source-id: 2659835
8 years ago
122d2b031f
ppx_compare Unop
...
Reviewed By: sblackshear
Differential Revision: D4232382
fbshipit-source-id: 292121c
8 years ago
Jeremy Dubreil
Sam Blackshear
Andrzej Kotulski
Cristiano Calcagno
Josh Berdine