3641 Commits (3c09ae953d652a916db8018ad211b5cf8671bfb9)
 

Author SHA1 Message Date
Jules Villard 6388910b96 [inferbo] vector::get() returns an allocated value
8 years ago
Jules Villard 3ddbb8342e [setup] display message instead of executing it...
8 years ago
Jules Villard b8e3ac7438 [ocaml] switch to 4.04.2 by default
8 years ago
Jules Villard bfc2c05b5e [setup] add automatic setup for the developer environment
8 years ago
Andrzej Kotulski a864b4068f [clang IR] Change Fieldname.t to store typename
8 years ago
Andrzej Kotulski 61aa7aaae5 Move Fieldname module inside Typ
8 years ago
Jia Chen a8ad84b9d3 Prevent addresses of local vars from appearing in function summary
8 years ago
Kihong Heo 7176fc936a [inferbo] fix the semantics of unknown library calls
8 years ago
Dino Distefano 4a5d0e0b55 Adding ability to express properties on the hierachy of protocols
8 years ago
Jules Villard cd83a24381 [merge] only try to read/create multilink files when --merge is specified
8 years ago
Jules Villard 11ae193356 [travis] do not rebuild OCaml
8 years ago
Jia Chen 806585db26 Fix aliasing rules about local variables introduced before
8 years ago
Jeremy Dubreil e200b6cdcc [infer][java] Simplify some of the models
8 years ago
Dulma Churchill 7d680b3b0c [linters] Add an optional doc_url field to linters to specify the url to some documentation online.
8 years ago
Jules Villard ee67e09cdf [opamlock] fix opam.lock target
8 years ago
Sungkeun Cho f8b8dd1abb [infer] Parse unsigned short (uint16_t) as IUShort
8 years ago
Dulma Churchill 2d1a8f4940 [linters] Remove leftover code related to paths
8 years ago
Jules Villard f38462407e [utils] make `read_file` return a `Result.t`
8 years ago
Jules Villard b158f5cd30 [reportdiff] add filtered out bugs to preexisting
8 years ago
Dulma Churchill 72802024b3 [linters] Fix unavailable api check to take the avaiability attribute into account when it's not the first one in the list.
8 years ago
Jules Villard 38676e43d7 [travis] correct build option
8 years ago
Jia Chen a6757be036 Force emitting prune node for C++ comparison expressions
8 years ago
Jia Chen f7927cadda Teach the frontend to recognize STL throw wrappers
8 years ago
Jia Chen 62cfd554c7 Teach the Prover additional aliasing rules about local variables
8 years ago
Sam Blackshear cb95bde659 [labs] clean up lab document
8 years ago
Mehdi Bouaziz e60ff6f370 [travis] do not build clang on osx
8 years ago
Sam Blackshear 4f54fabf4f [absint] move the framework bits/utilities of Infer.AI to a separate directory from the clients (checkers ~= transfer functions + domains)
8 years ago
Mehdi Bouaziz 63fcddb4a7 [inferbo] Do not store dummy idents into stack
8 years ago
Sungkeun Cho 00390d367a [inferbo] Refactor new symbol generation
8 years ago
Sungkeun Cho f45f4cb4c0 [Bufferoverrun] symbolic value for parameter
8 years ago
Sungkeun Cho 52c0caafaf [inferbo] Declare unsigned typed parameters
8 years ago
Sungkeun Cho 1f721d0824 [inferbo] Revise modulo semantics for positive values
8 years ago
Kyriakos Nikolaos Gkorogiannis b4f6308495 [thread-safety] Restrict propagation of attributes in an assignment; treat ownership propagation more strictly.
8 years ago
Daiva Naudziuniene 0a786e9019 [ThreadSafety] Do not report if all accesses are unprotected.
8 years ago
Andrzej Kotulski 4ce997c8f0 [clang] blacklist -profile-guided-section-prefix
8 years ago
Mehdi Bouaziz 7e9f859896 More detailed error message for typ_get_recursive_flds
8 years ago
Mehdi Bouaziz aad66bc6f6 [inferbo] More tests
8 years ago
Jia Chen 108c865b20 [infer][checker] Put AnnotationSpec.report into actual use for annotation reachability checker
8 years ago
Jia Chen 1edcbce35b Whitelist std::swap in C++ analyses
8 years ago
Jeremy Dubreil 0806ac067b [infer][java] use a multi-target Buck project to test the Buck integration for Java
8 years ago
Dulma Churchill 855b87e5d9 [linters] Remove internal error warning that is not really an error
8 years ago
Jules Villard da82d94a12 [report] restore "no issues found" output
8 years ago
Dulma Churchill 45a8e48e00 [linters] Adapt the debugger and linters-developer-mode to the new logs
8 years ago
Jules Villard 0e82560fcc [config] crash if no C++ compiler is found
8 years ago
Martino Luca 04db7b6db2 Simple refactoring of issues.py
8 years ago
Marco Concetto Rudilosso d196c03434 [infer][PR] JMain link is broken
8 years ago
Martino Luca 20a6131ccf Compute differential of certain files only, if desired
8 years ago
Daiva Naudziuniene 336b7182c3 [ThreadSafety] Releasing lock at the end of the procedure if it has a lock_guard field.
8 years ago
Jules Villard e87e2b007d [AI] escape html output
8 years ago
Sam Blackshear 1f153d3e3f [absint] kill `AbstractInterpreter.Interprocedural` module
8 years ago