Commit Graph

1907 Commits (278c70579021da7be856962a8c11cdd79b52ac17)
 

Author SHA1 Message Date
Sam Blackshear 034d2e3c81 adding accessTree.fold 9 years ago
Jules Villard 3b3f587652 update fcp to have qualifiers in ValueDecl types 9 years ago
Ryan Rhee 4a6202c772 Move get_super to utils 9 years ago
Josh Berdine a9a38f20ec Simplify normalization in Attribute.remove 9 years ago
Josh Berdine 3896b10265 Move Prop.Attribute to toplevel 9 years ago
Josh Berdine 60496f2ae4 Minor cleanup of Prop.Attributes interface 9 years ago
Josh Berdine 4053d24bed Refactor Prop ops on attributes into sub-module 9 years ago
Martino Luca b7d70ff178 Add support for extra cases of BAD_POINTER_COMPARISON warning 9 years ago
Josh Berdine 6555a84409 Make warning 23 (Useless record with clause) fatal 9 years ago
Josh Berdine c147ab4197 Refactor Sil.attribute and associates to PredSymb 9 years ago
Josh Berdine 25a52c7bbc Refactor operations on Exp.t in Sil to Exp 9 years ago
Josh Berdine 8a90190309 Remove dead Sil.binop_invert 9 years ago
Josh Berdine f9ca08a9a8 Refactor Exp.t-keyed collections from Sil to Exp 9 years ago
Josh Berdine d60965824e Refactor exp_equal and exp_compare to Exp 9 years ago
Josh Berdine 701eb20f83 Refactor Sil.exp to Exp.t 9 years ago
Josh Berdine 6ffe204252 Make Aobjc_null attribute a binary predicate 9 years ago
Josh Berdine 4185bda8ba Generalize predicates from unary to nary 9 years ago
Josh Berdine b6544eace7 Remove redundant normalization 9 years ago
Josh Berdine c2f62f3a97 Remove tuple type redundant with atom 9 years ago
Josh Berdine a8ce65b221 Encode polarity of predicates into atom tag 9 years ago
Josh Berdine b09b28f10f Add negated attributes, with 2-valued semantics 9 years ago
Josh Berdine 71a15b2388 Represent attributes with atoms, not disequalities 9 years ago
Martino Luca e3132152cb Check for the presence of removeObserver into class hierarchy 9 years ago
Lázaro Clapp Jiménez Labora d23c99a4ea Add blame_range to crashcontext analysis. 9 years ago
Sam Blackshear 8ff9f2afab making get_reachable_hpreds understand inductive predicates 9 years ago
Vaibhav Tulsyan dba179845b Minor typo fix 9 years ago
Josh Berdine 06cbdfa651 Cosmetic changes to improve Reason conversion 9 years ago
Josh Berdine fe780cb6ff Move comments to improve attachment 9 years ago
Josh Berdine 32146523ca Enable warning: Unexpected documentation comment 9 years ago
Ryan Rhee d2a4028881 Call decl checkers on DeclStmt statements 9 years ago
Jules Villard 83ad776573 use trick to make opam dependency install faster 9 years ago
Filippo Giunchedi 5eff224e0e add build instructions for Debian 8 9 years ago
Lázaro Clapp Jiménez Labora 7c3110b76f Extract stacktrace.ml regexp constructors to module level. 9 years ago
Lázaro Clapp Jiménez Labora 751d027f8d Remove 'open Jsonbug_t' scope clutter. 9 years ago
Lázaro Clapp Jiménez Labora 85add041d4 CI Tests for crashcontext handling of native methods 9 years ago
Lázaro Clapp Jiménez Labora 5296688c1f Match classname for stackframes in crashcontext checker. 9 years ago
Lázaro Clapp Jiménez Labora 0a8b95a856 Crashcontext ocaml method summary merging 9 years ago
Lázaro Clapp Jiménez Labora d5848d8c94 Add parsing of native methods on the stacktrace. 9 years ago
Lázaro Clapp Jiménez Labora 58d008a026 Add Stacktree ATD type for serializing/decerializing crashcontext results. 9 years ago
Lázaro Clapp Jiménez Labora ed85a129f5 Add DB.paths_matching utility method to recursively search files under a directory matching a function f. 9 years ago
Josh Berdine 3064caacdb Remove stale Autounit module 9 years ago
Martino Luca bed9b31c62 Add general context to linters framework to implement smarter checks 9 years ago
Jules Villard aee1eeba3d restore --pmd-xml functionality 9 years ago
Jules Villard 1f3a3cb373 bump facebook-clang-plugins version 9 years ago
Martino Luca f64be4596b Implement containsOnlyLines matcher for tests 9 years ago
Zac Sweers aed5e6bee8 Support butter knife 8's BindView annotation 9 years ago
Sam Blackshear 0a747b8eb2 fixing some of the issues with passing classpath in a file 9 years ago
Sam Blackshear 3233666b11 extract callsite to its own module 9 years ago
Sam Blackshear ed9495a893 delete unused class-to-source mapper processor 9 years ago
Dulma Churchill 8d279748fa Adding a key to the lint issues 9 years ago