[PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled

George Karpenkov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 10 10:57:52 PDT 2018

Previous message: [PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
Next message: [PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

george.karpenkov added a comment.

@mikhail.ramalho Could you also state how different values affect the effectivity of refutation?


https://reviews.llvm.org/D48650

Previous message: [PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
Next message: [PATCH] D48650: [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list