Security scanner support#750

Merged

peterschrammel merged 84 commits intodiffblue:security-scanner-supportfrom

NathanJPhillips:security-scanner-support

Apr 3, 2017

Commits on Nov 10, 2016

adjusted the command line for the pid controller case study with a better look output test suites
theyoucheng
committed

Commits on Mar 16, 2017

Commits on Mar 17, 2017

Fix errors when -Wall -Werror flags are set
reuk
committed

Commits on Mar 20, 2017

Fix several test problems on Windows
forejtv
committed

Commits on Mar 21, 2017

Fix DEBUG blocks based on feedback
reuk
committed

Commits on Mar 22, 2017

Commits on Mar 23, 2017

Merge pull request #622 from forejtv/master
Daniel Kroening
authored
update instructions for g++ 6
Daniel Kroening
committed
Merge branch 'master' of github.com:diffblue/cbmc
Daniel Kroening
committed
Updates for GCC 6
jgwilson42
committed
Correct pretty-printing of code_returnt
smowton
committed
Fix Java multinewarray
smowton
committed
Amend test-case to complete in acceptable time
smowton
committed
Merge pull request #658 from smowton/pretty_print_return
Daniel Kroening
authored
Add --drop-unused-functions option
peterschrammel
committed
Remove -show-reachable-properties
peterschrammel
committed
Correctly align description of option
peterschrammel
committed
Merge pull request #671 from peterschrammel/cover-for-reachable-fun-only
Daniel Kroening
authored
Option --no-built-in-assertions
peterschrammel
committed

Commits on Mar 24, 2017

Remove unused variable and braces
Owen Jones
committed
Move function comments to the right place
Owen Jones
committed
Remove variable that is always false
Owen Jones
committed
Remove function that's only used once
Owen Jones
committed
added support for array_copy in the full-slice option
lucasccordeiro
committed
added two test cases into goto-instrument regression for checking array_copy
lucasccordeiro
committed
Merge pull request #694 from lucasccordeiro/fix-full-slice-03
Daniel Kroening
authored
Merge pull request #686 from smowton/fix_multinewarray
Daniel Kroening
authored
Merge pull request #682 from jgwilson42/compiling_update
Daniel Kroening
authored
Release notes up to 5.6 from CProver Google group messages
tautschnig
committed
Initial version of release notes for 5.7
tautschnig
committed

Commits on Mar 25, 2017

Merge pull request #696 from tautschnig/user-visible-changes
Daniel Kroening
authored
Merge pull request #693 from owen-jones-diffblue/cleanup/java-object-factory
Daniel Kroening
authored
Merge pull request #681 from peterschrammel/no-assertions-for-user-only
Daniel Kroening
authored

Commits on Mar 27, 2017

Commits on Mar 28, 2017

Commits on Mar 29, 2017

Include --verbosity in help output of cbmc and symex
tautschnig
committed
fixup! Add json->irep deserialization routine
tautschnig
committed
Throw when -DNDEBUG would cause missing return values
tautschnig
committed
fixup! Add --drop-unused-functions option
tautschnig
committed
fixup! Option --no-built-in-assertions
tautschnig
committed
missing assert.h

Daniel Kroening
authored and
tautschnig
committed
Generalise witness as location numbers may vary
tautschnig
committed
Minor code cleanup of irep.h
tautschnig
committed
Fix really pedantic compiler errors
reuk
committed
Merge pull request #700 from lucasccordeiro/fix-full-slice-04
Daniel Kroening
authored
Merge pull request #714 from smowton/fix_lazy_methods_with_opaque_globals
Daniel Kroening
authored
String abstraction requires remove_returns
tautschnig
committed
Make rename_symbol a no-op if its maps are empty
tautschnig
committed
Merge pull request #718 from NlightNFotis/bugdemo/static_inline
Daniel Kroening
authored
Merge pull request #715 from smowton/fix_duplicate_virtual_dispatch_gotos
Daniel Kroening
authored
Merge pull request #723 from reuk/extra-errors
Daniel Kroening
authored
Merge pull request #724 from tautschnig/release-cleanup
Daniel Kroening
authored
use stat to determine whether a directory entry is a subdirectory; d_type is not POSIX
Daniel Kroening
committed
gcc_message_handlert must obey verbosity

tautschnig
authored and
Daniel Kroening
committed
Ubuntu has new g++
Daniel Kroening
committed
removed unnecessary newline
Daniel Kroening
committed
compile with Visual Studio 2017
Daniel Kroening
committed
use std::size_t for counters
Daniel Kroening
committed

Commits on Mar 30, 2017

Commits on Apr 2, 2017

update compilation instructions
Daniel Kroening
committed

Commits on Apr 3, 2017

Merge pull request #31 from tautschnig/make_binary-vs-pointers
Daniel Kroening
authored
Migrated all message clients to messaget, removing deprecated message_streamt

tautschnig
authored and
Daniel Kroening
committed
Merge pull request #300 from theyoucheng/case-study
Daniel Kroening
authored
removed legacy_typecheckt
Daniel Kroening
committed
Merge branch 'master' of github.com:diffblue/cbmc
Daniel Kroening
committed
Consistency: use messaget's error directly instead of throwing string/char*

tautschnig
authored and
Daniel Kroening
committed
use new messaging interface
Daniel Kroening
committed
Added location information to warning messages missing it

tautschnig
authored and
Daniel Kroening
committed
Completely remove cpp_typecheckt::check_template_restrictions

tautschnig
authored and
Daniel Kroening
committed
Merge pull request #716 from mariusmc92/cleanup/type-safe-dynamic-object
Daniel Kroening
authored
Merge pull request #647 from reuk/remove-broken-debug
Daniel Kroening
authored
Merge pull request #649 from cristina-david/remove-disable-runtime-checks
Daniel Kroening
authored
Merge pull request #697 from tautschnig/concurrency-trace
Daniel Kroening
authored
Merge master into security-scanner-support
NathanJPhillips
committed