You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sungkeun Cho 2091a529b1 [inferbo] Avoid precision loss on pruning ... Summary: This commit avoids precision loss on pruning. // x -> [s$1, s$2] if(x) { ... } // x -> ? before: x -> [min(0, s$1), max(0, s$2)] because two x values, [0, 0] (true case) and [s$1, s$2] (false case), were joined after the if branch. after: x -> [s$1, s$2] Reviewed By: mbouaziz Differential Revision: D5431009 fbshipit-source-id: 14a9efe		7 years ago
..
Makefile	[infer][checkers] remove the bufferoverrun analyzer option and rely on the --bufferoverrun flag only	8 years ago
class.cpp	[Bufferoverrun] symbolic value for parameter	8 years ago
external.cpp	[inferbo] fix the semantics of unknown library calls	8 years ago
folly_memory_UninitializedMemoryHacks.cpp	[cpp][model] Do not define _LIBCPP_VECTOR or _GLIBCXX_VECTOR	8 years ago
function_call.cpp	[inferbo] add instantiation for parameters (call-by-ptr/ref)	8 years ago
issues.exp	[inferbo] Avoid precision loss on pruning	7 years ago
repro1.cpp	[inferbo] More tests	8 years ago
simple_vector.cpp	[inferbo] More errors on symbolic intervals	8 years ago
trivial.cpp	[bufferoverrun][tests] Move bufferoverrun cpp tests to their own directory	8 years ago
vector.cpp	[inferbo] Avoid precision loss on pruning	7 years ago