Merge master into Security scanner support#656

Merged

peterschrammel merged 90 commits intodiffblue:security-scanner-supportfrom

NathanJPhillips:security-scanner-support

Mar 20, 2017

Commits on Feb 18, 2017

Commits on Feb 28, 2017

Remove an unnecessary loop over all instructions from flow insensitive analysis.
martin
committed
Fix similar issues in other places in pointer-analysis.
martin
committed
Remove the top variable from the cfg_dominator analysis.
martin
committed

Commits on Mar 1, 2017

initial support for miniz
Matthias Güdemann
committed
use amalgamated files from release tarball
Matthias Güdemann
committed
type cleanup in miniz
Matthias Güdemann
committed
update Makefiles / remove all references to libzip/zlib
Matthias Güdemann
committed
regression test with multiple JARs/classpath
Matthias Güdemann
committed
disable unaligned load/store for g++
Matthias Güdemann
committed
auto-fix cpplint errors with generated sed script
Matthias Güdemann
committed

Commits on Mar 2, 2017

Commits on Mar 7, 2017

Add json->irep deserialization routine

smowton
authored and
peterschrammel
committed

Commits on Mar 9, 2017

remove `<regex>` from unapproved headers in cpplint
Matthias Güdemann
committed
Merge pull request #617 from mgudemann/allow_regex_in_cpplint
kroening
authored
allow regex to limit class files loaded from JAR
Matthias Güdemann
committed
support class load configuration via JSON file
Matthias Güdemann
committed
add jars from JSON config to classpath
Matthias Güdemann
committed
add regression test
Matthias Güdemann
committed

Commits on Mar 10, 2017

Commits on Mar 11, 2017

Merge pull request #506 from cristina-david/exception-handling
kroening
authored

Commits on Mar 15, 2017

Commits on Mar 16, 2017

Missing forward declaration
thk123
committed

Commits on Mar 18, 2017

Commits on Mar 19, 2017

Commits on Mar 20, 2017

Merge master into SSS
NathanJPhillips
committed