d1da078ab7
[infer][java] Minor renaming in the Java frontend
...
Summary: Simple cleanup of the Java frontend, removing redundant code
Reviewed By: sblackshear
Differential Revision: D3929420
fbshipit-source-id: 29b6903
8 years ago
3051d90307
[quandary] kill unused Source.to_return proc
...
Reviewed By: jvillard
Differential Revision: D3927750
fbshipit-source-id: a4047f4
8 years ago
df8a4f6481
[quandary] tests for divergence
...
Reviewed By: dkgi
Differential Revision: D3871703
fbshipit-source-id: f11f21d
8 years ago
af9f34bb60
[quandary] checking for flows from Intents parsed via Uris -> startActivity (and similar)
...
Reviewed By: mburman
Differential Revision: D3905877
fbshipit-source-id: 03fe2f6
8 years ago
d6cf024c1b
[componentkit] Enable the MLV rule
...
Reviewed By: dulmarod
Differential Revision: D3911441
fbshipit-source-id: f41a6d6
8 years ago
6475e358c4
[componentkit][const] Ignore NSError
...
Reviewed By: martinoluca
Differential Revision: D3912232
fbshipit-source-id: adc8a55
8 years ago
7a434adea8
[componentkit][const] Whitelist certain classes
...
Reviewed By: martinoluca
Differential Revision: D3911399
fbshipit-source-id: c523779
8 years ago
d2ac2242c4
[componentkit][test] typedef struct -> class
...
Reviewed By: dulmarod
Differential Revision: D3909628
fbshipit-source-id: 52e9539
8 years ago
f54b84c751
[componentkit][test] Move mock CK imports to own .h file
...
Reviewed By: dulmarod
Differential Revision: D3909240
fbshipit-source-id: 66e8b71
8 years ago
561f4fdfad
[linters] Adding a new type of procname that is used for lint bugs that are not in any method
...
Reviewed By: cristianoc
Differential Revision: D3913535
fbshipit-source-id: cb8f840
8 years ago
717b61192e
[tests] Convert java harness and crashcontext tests to new direct format.
...
Summary:
Convert the last remaining tests to the new direct format: java harness and crashcontext.
Remove what is left of the old testing infrastructure.
Reviewed By: sblackshear
Differential Revision: D3886355
fbshipit-source-id: 5117868
8 years ago
a2ee69975a
[clang] Remove support for logging lint issues in procdescs
...
Reviewed By: jberdine
Differential Revision: D3894307
fbshipit-source-id: 99208f5
8 years ago
8554c1e342
[Parallelization][Linters] Wait for processes based on the map of processes, to make sure that we waited for all the children.
...
Reviewed By: martinoluca, jberdine
Differential Revision: D3908272
fbshipit-source-id: a0c4671
8 years ago
419f2e0bdf
[infer] Active Variables
...
Reviewed By: sblackshear
Differential Revision: D3900838
fbshipit-source-id: bb58b20
8 years ago
fbfece20af
[quandary] using exceptional procCFG to explore exceptional control-flow
...
Reviewed By: dkgi
Differential Revision: D3871621
fbshipit-source-id: e76a274
8 years ago
f0a31f460b
[checkers] don't crash when a frontend temp is reassigned
...
Reviewed By: jeremydubreil
Differential Revision: D3867083
fbshipit-source-id: 8cd5cfe
8 years ago
4b9899d6b2
[quandary] handling globals in function summaries
...
Reviewed By: jeremydubreil
Differential Revision: D3866616
fbshipit-source-id: 1b77bca
8 years ago
b1039f51f8
[quandary] add summaries for footprint traces associated with locals
...
Differential Revision: D3883275
fbshipit-source-id: 651116e
8 years ago
4cee6907ec
[backend] Remove the global reference DB.current_source and clean up the flow of information about the current source file.
...
Summary:
The global reference `DB.current_source` is used internally in the module DB, by all the front-ends, and directly and indirectly by the back-end, including saving and restoring the state in case of on-demand procedure calls. In particular, it is heavily used in printing functions.
This diff cleans up the flow of information about what the current file is, making it explicit, and removes the reference.
Reviewed By: jberdine
Differential Revision: D3901247
fbshipit-source-id: ef596bd
8 years ago
526cf6da6a
[Config] Adding a default for the option load
...
Reviewed By: jberdine
Differential Revision: D3900257
fbshipit-source-id: c664968
8 years ago
ae759ee21f
[quandary] fixing crashes when running on recursive code
...
Reviewed By: cristianoc
Differential Revision: D3888004
fbshipit-source-id: d432496
8 years ago
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
Jeremy Dubreil
Sam Blackshear
Ryan Rhee
Dulma Churchill
Cristiano Calcagno
Peter O'Hearn
Josh Berdine