343 Commits (2573bca68e45cb3ae055afe99a5bdb5a2fa21c10)
 

Author SHA1 Message Date
Andrzej Kotulski 3b22adfc15 [C Frontend][Refactor] Remove code duplication on debug messages
9 years ago
Rohan Jacob-Rao e1d071fb1f Fix error in parsing int constants.
9 years ago
Rohan Jacob-Rao 66aecca31f Allow for attribute groups in function definitions.
9 years ago
Rohan Jacob-Rao 8fbe358b34 Add tiny C example of null pointer error.
9 years ago
Rohan Jacob-Rao e9f1f03aa0 Added empty AST node for binops, to prevent build warnings.
9 years ago
Rohan Jacob-Rao 264a46f80c Initial attempt to translate alloca instruction.
9 years ago
Jules Villard 8f03d67932 [clang] uglify json when not in frontend debug mode
9 years ago
Jules Villard c1e5fa2194 [clang] bump fcp version
9 years ago
Rohan Jacob-Rao 6dc20cd4e6 Add "unnamed" (i.e. numbered) variables to syntax.
9 years ago
jrm 2dc796542a [infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed
9 years ago
Rohan Jacob-Rao 9ac4b11056 Translation of load instruction.
10 years ago
Rohan Jacob-Rao a20d178e7c Translation of basic store instruction.
10 years ago
Rohan Jacob-Rao 51ebf2493e Fixed bug in parsing of variables.
10 years ago
Andrzej Kotulski 5169419216 [C frontend] Improve ObjCIvarRef/Member Exprs
10 years ago
Andrzej Kotulski 98cb3c84ac Remove code that does nothing
10 years ago
Rohan Jacob-Rao 9b8cd7d582 Generate chain of CFG nodes for instructions in a function.
10 years ago
jrm 7e00a845d8 [infer][java] stop swallowing errors coming from compilation failures
10 years ago
jrm 4b241266df [infer][java] add model for java.io.StringWriter which does not need to be closed
10 years ago
Sam Blackshear 257bdd18f1 [Infer][tests] Adding missing copyright to ActivityLeaks
10 years ago
Sam Blackshear 9cf74e0ce5 [infer][backend] basic Activity leak checking
10 years ago
Andrzej Kotulski 642e6fd33a update fcp
10 years ago
Dulma Rodriguez 732d23ce4d [clang] Add is_instance as part of the type of objc methods
10 years ago
Rohan Jacob-Rao 53125b171a Added LLVM target to top level makefile.
10 years ago
Jonathan Keljo 17fc7c93f2 Add models for many methods in javax.lang.model and com.sun.source
10 years ago
Jonathan Keljo a1c735dd84 Factor out modelTables module
10 years ago
martinoluca cfd8a55f3b Add `-lib` flag to InferPrint to read specs files from multiple places
10 years ago
Jeremy Dubreil 743c73012d [infer][java] avoid converting javac command lines from bash to python as some buck options are incorectly parsed otherwise
10 years ago
Dino Distefano 7002d0d24c Adding a test in symbolic execution when a dangling uninitialized pointer is dereferenced
10 years ago
Rohan Jacob-Rao 795742a3a2 Clean up some comments.
10 years ago
Sam Blackshear 4ad73acf9d [infer] adding is_activity method
10 years ago
Sam Blackshear 66ef0ec0b9 [infer][reporting] Adding boilerplate for reporting Activity leaks
10 years ago
Sam Blackshear 2f7c957008 [Infer] resolving TODO's by using java_is_static
10 years ago
Andrzej Kotulski 7409d48305 Update fcp to include recent changes
10 years ago
Rohan Jacob-Rao be640f9c4e Remove build warnings by commenting out unused tokens.
10 years ago
Sam Blackshear e107058bf6 [Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.
10 years ago
Sam Blackshear f0c30fc166 [infer][build] Treating OCaml compiler warnings as build-blocking errors
10 years ago
Sam Blackshear 4e389cc601 [infer][frontend] catch exception from directory already existing
10 years ago
Rohan Jacob-Rao d8a2ce2417 Generate CFG and call graph files.
10 years ago
jrm d7db177b84 [infer][backend] minor refactoring of the code to report leaks
10 years ago
Sam Blackshear 60000be43b [infer][backend] refactoring code for getting reachable hpred's/pure atoms from a prop
10 years ago
Jules Villard bae8a4dced [whitespace] indent .ml files as well
10 years ago
Jules Villard 6911a1516c [whitespace] ocp-indent the code
10 years ago
Jules Villard 0368f73ce9 add ocp-indent configuration and eclipse launcher
10 years ago
Sam Blackshear d7bb75ad5d [infer][backend] eliminating duplicate declaration of ExpSet module
10 years ago
Jules Villard ca613a77ff [copyrightor] format start and end of copyright comments
10 years ago
Dulma Rodriguez d7655a087e [clang] Adding getters and setters for all the methods
10 years ago
Dulma Rodriguez c9f07e31e3 [clang] Reimplement removing nodes from procdesc in a more efficient way
10 years ago
Andrzej Kotulski 35400dd4f6 Rename Procname.from_string
10 years ago
Sam Blackshear f1daf147b3 [infer][backend] Pruning pure predicates with unreachable vals in order to eliminate PRECONDITION_NOT_FOUND errors.
10 years ago
Andrzej Kotulski 687f4958c8 Change procname types for objc/c functions
10 years ago