de146f4f2d
[quandary] switch to using base -> formal num map in extras
...
Reviewed By: dkgi
Differential Revision: D3883256
fbshipit-source-id: 857e1f9
8 years ago
31e6849ec0
[quandary] using summaries part 2: the relational cases
...
Differential Revision: D3861751
fbshipit-source-id: d7858e6
8 years ago
acbb59c1f9
[infer][java] print an error message when using the option --reactive with Java buck projects
...
Summary: The reactive mode is not currently supported for Java Buck projects. Print a clear error message to avoid confusion. Using `--reactive` with Buck projects is crashing. When using reactive, the backend crashes because it tries to find the `.start` file in `infer-out` whereas Infer saves the analysis artifacts next to the generated classes following the `-d` options with Buck so that they can be cached. Pointing the backend to the right Infer out would not help as this directory will be blown up as soon as the files are modified.
Reviewed By: sblackshear
Differential Revision: D3901005
fbshipit-source-id: d8dcbce
8 years ago
bd0215a826
[IR] Add notion of file captured to procedure attributes.
...
Reviewed By: jberdine
Differential Revision: D3899826
fbshipit-source-id: 91f063f
8 years ago
f30b6e39db
More robust logging to files
...
Summary:
Create the log directory even if the parent results directory does not
exist. In particular, the python buck module will delete the results
directory after it is created the first time, so it needs to be
re-created or else there is nowhere for the log files.
Reviewed By: sblackshear
Differential Revision: D3896546
fbshipit-source-id: 834cf79
8 years ago
847c141912
[tests] Clean up test files shared between frontend and endtoend tests
...
Reviewed By: jberdine
Differential Revision: D3893900
fbshipit-source-id: 497effc
8 years ago
70670f5355
[checkers] kill noisy logging in abstract interpreter
...
Reviewed By: jberdine
Differential Revision: D3896673
fbshipit-source-id: 35c20d5
8 years ago
e4beca3779
[quandary] using summaries part 1: return
...
Reviewed By: jeremydubreil
Differential Revision: D3857310
fbshipit-source-id: 29c5994
8 years ago
cf8c957483
[quandary] use preanalysis for abstract GC
...
Reviewed By: jeremydubreil
Differential Revision: D3866919
fbshipit-source-id: 87fb380
8 years ago
65a39c88b7
bump version: 0.9.2 -> 0.9.3
...
Reviewed By: cristianoc
Differential Revision: D3892772
fbshipit-source-id: cda9448
8 years ago
c134eac91e
[tests] Convert objective-c frontend tests to new direct format
...
Reviewed By: jberdine
Differential Revision: D3886011
fbshipit-source-id: 2e0c014
8 years ago
95f6639d6d
[backend] refactoring debug html printing to make it easier to call from anywhere
...
Reviewed By: jberdine
Differential Revision: D3876981
fbshipit-source-id: dcca010
8 years ago
9f1c4e4bca
[quandary] adding append operation
...
Reviewed By: jeremydubreil
Differential Revision: D3857100
fbshipit-source-id: 030b1cb
8 years ago
fe21442d47
[tests] Convert the linter tests to the new direct format
...
Reviewed By: jberdine
Differential Revision: D3877153
fbshipit-source-id: a0efb3c
8 years ago
da01c2b94a
[tests] Fix detection of changes in frontend tests
...
Reviewed By: jberdine
Differential Revision: D3884466
fbshipit-source-id: 4ab17f3
8 years ago
b34a23c1b4
[java frontend] fix read of unused id in exception translation.
...
Reviewed By: jeremydubreil
Differential Revision: D3870333
fbshipit-source-id: 2bddd67
8 years ago
4172650313
[java] treat CatchVar's emitted by Sawja as temporary variables
...
Reviewed By: cristianoc
Differential Revision: D3871548
fbshipit-source-id: 32274ef
8 years ago
2f34e998c2
[quandary] consider builtins to be neither sources nor sinks
...
Reviewed By: jeremydubreil
Differential Revision: D3861787
fbshipit-source-id: 3eb8516
8 years ago
b0980bc35e
[tests] Convert c/c++ frontend tests to new format.
...
Reviewed By: sblackshear
Differential Revision: D3876214
fbshipit-source-id: a9032dc
8 years ago
25cd7dbe89
[tests] Activate objective-c tests in the new format, and remove old junit tests.
...
Reviewed By: dulmarod
Differential Revision: D3876176
fbshipit-source-id: e6cc634
8 years ago
afebcdad60
[tests] Prepare objective-c tests for conversion to the new direct testing format
...
Summary:
Rename symbols in test files so they are not duplicated and files can be analyzed together without affecting analysis results.
Fix some compilation errors, where files could be analyzed but would fail direct compilation.
Add Makefile mimicking the same analysis parameters used for the existing tests.
Reviewed By: dulmarod
Differential Revision: D3869993
fbshipit-source-id: 6db1baf
8 years ago
ec67521c6f
[backend] Fix issue where the attribute of a procedure definition could be overwritten with the attribute of a declaration
...
Reviewed By: sblackshear
Differential Revision: D3856374
fbshipit-source-id: a8a0a52
8 years ago
8589dc4868
Remove Tstruct in favor of Tvar
...
Summary:
This diff removes the redundancy in the representation of types where
struct types could be represented either directly using Tstruct or
indirectly using Tvar to refer to the type environment. A consequence
is that it is much harder to construct large type values.
Reviewed By: sblackshear, cristianoc
Differential Revision: D3839753
fbshipit-source-id: cf04ea5
8 years ago
050d90b356
[infer][java] No longer disable the Buck daemon before running the anslysis
...
Summary: We no longer need to disable the Buck daemon since we not pass the path to the compiler via the option `--config` instead of modifying the .buckconfig.local file
Reviewed By: sblackshear
Differential Revision: D3854109
fbshipit-source-id: 1126159
8 years ago
41c121bebf
[quandary] adding quandary summaries to specs
...
Reviewed By: jeremydubreil
Differential Revision: D3851178
fbshipit-source-id: 8a17357
8 years ago
d6d7293633
[quandary] moving logging of errors into analysis
...
Reviewed By: jeremydubreil
Differential Revision: D3850807
fbshipit-source-id: d34f1ab
8 years ago
31435fa936
[quandary] summaries for interprocedural analysis
...
Reviewed By: mbouaziz
Differential Revision: D3838659
fbshipit-source-id: 2382a81
8 years ago
4f8370e524
[utils] add find_mapi_opt utility
...
Reviewed By: jeremydubreil
Differential Revision: D3851678
fbshipit-source-id: dcf1c6d
8 years ago
ef8b215ee1
[utils] add fold_left_i utility
...
Reviewed By: jeremydubreil
Differential Revision: D3851332
fbshipit-source-id: a5649e7
8 years ago
55a46d1211
[quandary] format for summaries
...
Reviewed By: mbouaziz
Differential Revision: D3838520
fbshipit-source-id: 7cd8bcb
8 years ago
f1c10738c5
Exclude autosave files from repl build
...
Reviewed By: akotulski
Differential Revision: D3837333
fbshipit-source-id: a046d49
8 years ago
1e59512b41
Add InferBuckCompilationDatabase to the installation
...
Reviewed By: akotulski
Differential Revision: D3841381
fbshipit-source-id: 7d81d4d
8 years ago
f99d3a7c8e
Add an option clang-frontend-action to drive the frontend into capture or linters when the -a capture option is used
...
Reviewed By: jberdine
Differential Revision: D3828294
fbshipit-source-id: 6b471e5
8 years ago
27cfb141da
richer sink specifications
...
Reviewed By: jeremydubreil
Differential Revision: D3831688
fbshipit-source-id: 199f1a5
8 years ago
0817ab0ec2
Fix FCP_RUN_SYNTAX_ONLY variable
...
Summary: When we switched scripts to run `-cc1` commands coming from `-###` invocation we broke passing `-fsyntax-only` argument.
Reviewed By: jberdine
Differential Revision: D3835751
fbshipit-source-id: a742db4
8 years ago
5a49755690
Reason is automatically installed with the right version by build-infer.sh
...
Reviewed By: sblackshear
Differential Revision: D3832961
fbshipit-source-id: c90b53d
8 years ago
4706f25bf7
Normalize struct field types to be shallow
...
Reviewed By: cristianoc
Differential Revision: D3791867
fbshipit-source-id: 3f115b1
8 years ago
548338bb4e
Move mk_struct to Tenv
...
Summary:
Rename Typ.mk_struct to internal_mk_struct, and add Tenv.mk_struct that
ensures types are added to the environment under the right name.
Reviewed By: cristianoc
Differential Revision: D3791865
fbshipit-source-id: fd4b667
8 years ago
30b3881e52
Make Typ.struct_typ private and add Typ.mk_struct
...
Reviewed By: cristianoc
Differential Revision: D3791863
fbshipit-source-id: d792aea
8 years ago
ad31aeb2a2
Expand Tvar to Tstruct as needed
...
Reviewed By: cristianoc
Differential Revision: D3809096
fbshipit-source-id: 7a8d2ac
8 years ago
bcacd95176
tests for arrays
...
Reviewed By: jeremydubreil
Differential Revision: D3826552
fbshipit-source-id: 3b98b76
8 years ago
30ff9eda22
fix type of array store
...
Reviewed By: jeremydubreil
Differential Revision: D3826437
fbshipit-source-id: b36e093
8 years ago
2f90dde351
Add top of file documentation for crashcontext.mli
...
Reviewed By: jeremydubreil
Differential Revision: D3826480
fbshipit-source-id: fa17ae5
8 years ago
3368548e3e
replace stackop instruction with skip instruction
...
Reviewed By: cristianoc
Differential Revision: D3828544
fbshipit-source-id: 5a1d05f
8 years ago
87248009b7
fixing issue where crashcontext breaks without -o
...
Reviewed By: lazaroclapp
Differential Revision: D3823554
fbshipit-source-id: 8c0b329
8 years ago
f3cdf87181
Sort test results by file then line
...
Summary:
For tests that have reports of the form `<file>:<line>*`, sort first by
file, then by line numerically.
Reviewed By: sblackshear
Differential Revision: D3828044
fbshipit-source-id: d10cffe
8 years ago
e918624076
abducted -> abduced
...
Reviewed By: jeremydubreil
Differential Revision: D3828585
fbshipit-source-id: b76b256
8 years ago
1e4b4df427
fixing handling of aliasing for frontend tmp vars
...
Reviewed By: cristianoc
Differential Revision: D3824558
fbshipit-source-id: 624df00
8 years ago
6ca990be8c
adding tests for manipulating fields
...
Reviewed By: cristianoc
Differential Revision: D3824276
fbshipit-source-id: c412f17
8 years ago
c613820a98
Convert c tests to the new testing format
...
Reviewed By: jberdine, sblackshear
Differential Revision: D3827953
fbshipit-source-id: 53a47df
8 years ago
Sam Blackshear
Jeremy Dubreil
Cristiano Calcagno
Josh Berdine
Dulma Churchill
Andrzej Kotulski
Lázaro Clapp Jiménez Labora