5e5fac5dbc
Fix some indentation and a stray comment.
9 years ago
0a2571c10a
[infer][java] Infer now reports errors with relative paths on Ant and Gradle projects
...
Summary:
Having the gradle integration reporting errors using relative paths is required to make Infer usable with CI tools
9 years ago
721cc1957c
Specify to clang to use x86_64 to build models and tests for ObjectiveCxx
9 years ago
c92bfc1093
[Infer][models] Modeling Handler.postDelayed and similar to detect more Activity leaks
...
Summary: Handler.postDelayed keeps a persistent reference to its Runnable argument that may cause a memory leak if an Activity is reachable from the Runnable.
9 years ago
279f3d15e7
Make inferTest resolve all the symlinks before running tests
...
Summary:
Now inferTest works even when Infer is exported to PATH through symlinks
9 years ago
485d5c030e
[Infer][activity leaks] Turning on Activity leak reporting
...
Summary:
Making Activity leak error messages production-ready
and turning off filtering of leak alarms.
9 years ago
e127255f60
Renamed some types and variables for consistency.
9 years ago
204c585abf
[infer][java] revive the small example of Ant project
...
Summary:
Fix the build.xml so that we can have a working example of an Ant project that we can analyze with Infer
9 years ago
7821266c8f
[Infer][Nullables] Eliminating some false positives from Nullable checker
...
Summary: The Nullable checker reported FP's when a Nullable field/param was reassigned to a non-Nullable value in the footprint. This diff fixes the problem.
9 years ago
9a062192f8
[Infer][nullables] Turning nullable field warnings back on
9 years ago
f3afc6848b
Open Utils module to avoid prefixing common list functions.
9 years ago
96d5931744
Report source file name in error log.
9 years ago
f8ed9b91f5
Fill in source line numbers in SIL instructions.
9 years ago
fcc0c72ecb
[infer][eradicate] add support for butterknife @Bind annotation
...
Summary:
Add support for field initilized via the @Bind construct of Butterknife
9 years ago
c0446276a1
[eradicate] add support for the Android support v4 @NonNull annotation
...
Summary:
The @NonNull annotation, with camel case, can now be used to inform Eradicate that some fields that are not initialized by the constructor can be initialized by other means, e.g. via dependency injection.
9 years ago
a7da6066e5
Build maps of metadata variables.
9 years ago
7e169b0471
[copyrightor] add llvm comments
9 years ago
204b2ccc53
Make facebook-clang-plugins a submodule @update-submodule: facebook-clang-plugins
9 years ago
a5fa6a52ee
[copyrightor] change output
9 years ago
9e5cee2444
[infer][eradicate] Fix eradicate tests for field not initialized
...
Summary:
This test was actually testing: "at least one Field not initialized error is found" where we actualy want to test "exactly one Field not initialized error is found". The case of @Inject was also missing from the tests.
9 years ago
2468139fb7
[infer][java] move the Gradle filelist directory definition in one place
...
Summary:
Just move in a single place the definition of the sub-directory where the files containing the source file lists passed to javac
9 years ago
bb59bb04b7
[CFrontend][Cleanup] Pass whole decl to CTypesDecl.do_record_declaration
...
Summary:
see title. It will make number of arguments
less ridiculous and make it easier to share C/C++ structs.
Another diff that adds base class information for C++ will
follow.
This change is big enough to deserve separate diff
9 years ago
b4f554b5f5
Parse call to debugging llvm.dbg.declare function.
9 years ago
c264f95ab3
Setting up metadata variable mappings.
9 years ago
b3b67cdf69
Add metadata types to AST.
9 years ago
394a3b4c29
[CFrontend] Sizeof should have ulong type
9 years ago
7ebd48121f
[infer][backend] do not catch exceptions thrown by failwith
...
Summary:
This diff allows to use to make Infer failing when using the function `failwith`. This is especially useful to use while applying complex refactoring.
9 years ago
cc70507552
[clang] unopen some modules
...
Summary:
Use local open instead of open for modules, except utility ones.
9 years ago
4a55382345
Refactored grammar for metadata definitions.
9 years ago
4bb331ad4f
Parse and ignore function declarations.
9 years ago
41c14b249a
[Infer][incremental] Refactoring exe_env_from_cluster
...
Summary: This method did previously did some unnecessary computation (call to load_cg_files) and mutable stuff.
9 years ago
b80f74c34a
[Infer][incremental] Add changed field to procdesc's and code to compute if a procdesc has changed since the last run
...
Summary: Infer cannot tell if a procdesc has changed across procedure runs. If we want procedure-level incrementality, it has to know how to compute this information. This diff implements this capability by comparing a procdesc to an existing one before it is saved to disk, and marking the new one as unchanged if applicable.
9 years ago
089abea3d7
[Infer][nullables] Temporarily disabling warnings on nullable fields
9 years ago
f9939786fb
Add function types.
9 years ago
ded6b1d654
Fix parsing of boolean constants
9 years ago
a570bf5b85
[CFrontend] Replace names containing Method with ObjCMethod
...
Summary: since C++ has methods as well, make names more explicit
9 years ago
198c3c82e1
[C++ frontend] Handle calling c++ methods
...
Summary:
Translate calling C++ methods. Code is pretty similar to C function calling,
but slightly simpler and has some modifications
9 years ago
7a839984da
[C++] Add cpp methods signatures and implementations
...
Summary:
Handle C++ method declarations and create cfgs for them.
Doesn't do:
Method calls (CXXMethodCall)
Using `this` expression in methods (including implicit ones)
9 years ago
352b8edff9
[copyrightor] turn checkCopyright into a standalone script
...
Summary:
Usage: `./scripts/checkCopyright [-i] file1 ...`.
9 years ago
85b0ef7266
[clang] Refactor of creating method signatures. First step to use the map of pointers to find method declarations.
...
Summary:
Refactor of creating method signatures. First step to use the map of pointers to find method declarations.
The idea is to have a function that creates a method signature from a declaration, later we can get the declaration from a pointer
and use this function to retrieve the method signature.
(authored by @dulmarod)
9 years ago
ca2699842d
[Infer][nullable] Fixing bad error messages when dereferencing null literal
9 years ago
f20236fcac
Parse metadata nodes.
9 years ago
ef01c485da
Made parser syntax consistent: list(X) -> X* and option(X) -> X?.
9 years ago
353f442efb
Parse debug annotations and add them to AST.
9 years ago
026ca7176e
Parse data layout and target triple.
9 years ago
06f6e349c7
Replace null_deref.ll with annotated version generated using -g flag.
9 years ago
be0e3c417a
Update fcp version
...
Summary:
New stuff:
1. more info about c++ new/delete expressions
2. stmt cache
9 years ago
31e7a14344
Don't pass -lib args to InferPrint
...
Summary:
The --specs-dir argument of infer toplevel doesn't need to pass -lib to InferPrint
9 years ago
950b6f4aa4
Added dumb parsing of metadata.
9 years ago
44dfcf4a4d
[Infer][nullables] Fix bad "indirectly marked" error messages
9 years ago
Rohan Jacob-Rao
jrm
martinoluca
Sam Blackshear
Jules Villard
Irene Papakonstantinou
Andrzej Kotulski