3318 Commits (bafd1cf412de089dba17c25f7db4af931a2ce714)
 

Author SHA1 Message Date
Dulma Churchill 6097c05d88 [clang] Add a preanalysis to compute nullability annotations
8 years ago
Mehdi Bouaziz 7b8dc59386 [inferbo] Always use strong update
8 years ago
Dino Distefano 5bb41cc18c Removing predicates _strict
8 years ago
Sam Blackshear 96727152f3 [CI] install aspcud on travis
8 years ago
Dino Distefano 3c6f53c896 Adding predicate to get return type of a method and start a new parser for types
8 years ago
Sam Blackshear a02b37a03c [quandary] allow custom sources/sinks in C++
8 years ago
Jeremy Dubreil 548a36d71f [infer][backend] some more non-functional cleanup
8 years ago
Mehdi Bouaziz 3131660ede [inferbo] Model-like test for vector
8 years ago
Sam Blackshear 3258bc2ec4 [quandary] delegate handling of call to HIL
8 years ago
Sam Blackshear 80030c8de7 [quandary] delegate handling of assignment to HIL
8 years ago
Andrzej Kotulski c1147710ba [C++] Store class template name without its template arguments
8 years ago
Jeremy Dubreil b3af2ad4b6 [infer][ondemand] The source parameter from the analysis callback was never used
8 years ago
Jeremy Dubreil 224c1fea86 [infer][backend] remove the unecessary parameter source when printing node data
8 years ago
Sam Blackshear d248780645 [quandary] delegate cast handling to HIL
8 years ago
Sam Blackshear 8f10cae4b3 [quandary] delegate id map management to HIL
8 years ago
Jeremy Dubreil 33f9a2f864 [infer][backend] remove the unsafe function Specs.get_specs
8 years ago
Jeremy Dubreil 250d9cb8b3 [infer] the function to pretty-print the call graph does not need to access the analysis summaries
8 years ago
Sam Blackshear 7b44236874 [thread-safety] remove hacky special case for Builder's
8 years ago
Sam Blackshear 728412ce07 [thread-safety] clean up code unused after HIL conversion
8 years ago
Sam Blackshear f7a8d50c33 [thread-safety] convert Call logic to HIL
8 years ago
Sam Blackshear 6ff77fedda [thread-safety] convert Write logic to HIL
8 years ago
Sam Blackshear 135ac8be7c [integration] make it possible to run Inferbo/Quandary/Siof/Threadsafety on Clang buck projects
8 years ago
Andrzej Kotulski 7a0c4d9031 add more quals to SIL
8 years ago
Jeremy Dubreil 2e50022eb1 [infer][backend] remove unecessary check for analyzer kind
8 years ago
Jeremy Dubreil 8bbaf12500 [infer][backend] remove the function Specs.get_specs_formals
8 years ago
Sam Blackshear aadb26ada0 [hil] add Unbind operation for removing a temporary binding
8 years ago
Jeremy Dubreil b790ac8c14 [infer][java] load the global type environment at most once per process
8 years ago
Sam Blackshear 78a7865f2a [CLI] parse argfile contents into Config vars
8 years ago
Andrzej Kotulski 462220ce3e [typ] Print type qualifiers in Typ.pp_full
8 years ago
Andrzej Kotulski aefbbe8680 [clang] Translate type qualifiers into Sil
8 years ago
Jules Villard 1b0ee6fbc3 [clang] add sizeof static value to translation
8 years ago
Sam Blackshear 1c23876a4e [absint] BottomLiftedDomain should satisfy WithBottom signature
8 years ago
Sam Blackshear 863d90272f [cleanup] replace type_has_supertype with supertype_exists
8 years ago
Peter O'Hearn 3db1f9e94c [threadsafety] Treat clone() as aquiring ownership
8 years ago
Andrzej Kotulski 6ff421ca65 [C++ models] Fix compilation issues with unique_ptr under gcc 5
8 years ago
Mehdi Bouaziz eb477b771e [inferbo] Replace some Bottom by Top
8 years ago
Mehdi Bouaziz 2dbde13335 [inferbo] Use Logging for logging
8 years ago
Mehdi Bouaziz 7d70310691 [inferbo] Yack manucuring
8 years ago
Andrzej Kotulski db3c07a631 [clang frontend] Pass type qualifiers through frontend
8 years ago
Martino Luca 233d6a53c0 [Infer] Emit potential exception lines into qualifier's message
8 years ago
Jules Villard 35c7d67c5c [test] test the correct version of toplevel.cmo
8 years ago
Jeremy Dubreil c0c813c657 [infer][java] only report one annotation reachability issue per end of call stack
8 years ago
Sam Blackshear 3c0cf115b3 [quandary] add option for parsing endpoints from inferconfig
8 years ago
Andrzej Kotulski 029499cd9d [IR] add type qualifiers to Typ.t
8 years ago
Sam Blackshear 5de8161f89 [thread-safety] convert Prune logic to HIL
8 years ago
Dulma Churchill 69afe434a9 [clang] Add a flag to get around missing files in the buck integration
8 years ago
Sam Blackshear 8dbd91b5ba [java frontend] fix infinite loop
8 years ago
Jeremy Dubreil 06b0b94626 [infer][java] simplify the domain logic of the annotation reachability checker
8 years ago
Sungkeun Cho 7212890846 [Bufferoverrun] More prune to make some nodes unreachable
8 years ago
Sungkeun Cho b4b32f8d3e [Bufferoverrun] set uninitialized values in array as top
8 years ago