Merge master#1296

Merged

smowton merged 535 commits intodiffblue:security-scanner-supportfrom

NathanJPhillips:merge-master

Aug 30, 2017

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 19, 2017

Fix sipush return type annotation
smowton
committed
Don't warn on array_of_expr with zero length
smowton
committed
Add zero-length array test
smowton
committed
Merge pull request #1032 from tautschnig/empty-cleanup
Daniel Kroening
authored
Merge pull request #733 from tautschnig/float-lib
Daniel Kroening
authored
Add empty() to grapht as it implements size(), bug-fix
tautschnig
committed
Merge pull request #1034 from diffblue/smowton/fix/sipush_return_type
Daniel Kroening
authored
Merge pull request #1040 from tautschnig/fix-1032
Daniel Kroening
authored
add empty() to container-like classes with size()
Daniel Kroening
committed
missing header
Daniel Kroening
committed
Merge pull request #1041 from diffblue/add_empty
tautschnig
authored
Fix typing in signed/unsigned comparison
tautschnig
committed

Commits on Jun 21, 2017

detect missing message handler, and set a missing one
Daniel Kroening
committed

Commits on Jun 22, 2017

Commits on Jun 23, 2017

Merge pull request #1016 from diffblue/smowton/fix/java_integers_without_simplify
Daniel Kroening
authored
Update CODING_STANDARD.md
reuk
authored

Commits on Jun 26, 2017

Possible typo that should be checked
Owen Jones
committed
Fix typos
Owen Jones
committed

Commits on Jun 28, 2017

Commits on Jun 29, 2017

Format comments correctly
Owen Jones
committed
Merge pull request #1068 from tautschnig/fix-array-replace
Daniel Kroening
authored

Commits on Jun 30, 2017

Merge pull request #1027 from thk123/refactor/gen-nondet-init-master
Daniel Kroening
authored
Updated doxyfile to a modern version
cesaro
committed

Commits on Jul 3, 2017

Commits on Jul 4, 2017

Commits on Jul 5, 2017

Use native objcopy when linking with GCC
karkhaz
committed
Add Kahn's algorithm to graph.h
Matthias Güdemann
committed

Commits on Jul 7, 2017

[goto-cc] Print gcc command line before running it
karkhaz
committed

Commits on Jul 11, 2017

Do not assign to objects that have gone out of scope
tautschnig
committed

Commits on Jul 12, 2017

Merge pull request #1072 from tautschnig/goto-diff-fix
Daniel Kroening
authored
Allow anonymous namespaces
pkesseli
committed

Commits on Jul 13, 2017

Adapt perl script to handle multiple .desc files
Lukasz A.J. Wrona
committed
Merge pull request #1116 from tautschnig/fix-1115
Daniel Kroening
authored

Commits on Jul 15, 2017

goto-gcc: Reproduce GCC's exit code when output is /dev/null
tautschnig
committed
Use native --version output in goto-gcc
tautschnig
committed
goto-as: handle input from stdin
tautschnig
committed
added assertions to miniBDD
Daniel Kroening
committed
Merge pull request #1109 from tautschnig/goto-gcc-fixes
Daniel Kroening
authored
Merge pull request #1095 from karkhaz/kk-missing-arches
Daniel Kroening
authored
Merge pull request #1107 from karkhaz/kk-print-gcc-cmdline
Daniel Kroening
authored
Merge pull request #1081 from DanielNeville/danielneville/bugfix/tvt_or_const
Daniel Kroening
authored
Merge pull request #1080 from peterschrammel/travis-check-doxygen
Daniel Kroening
authored
Merge pull request #1092 from karkhaz/kk-native-objcopy
Daniel Kroening
authored
Merge pull request #1060 from owen-jones-diffblue/doc/fix-typos
Daniel Kroening
authored
Merge pull request #1099 from tautschnig/mult-constant-prop
Daniel Kroening
authored
Merge pull request #1089 from mgudemann/feature/graph_topological_sort
Daniel Kroening
authored
Merge pull request #1052 from reuk/coding-standard-fix
Daniel Kroening
authored

Commits on Jul 17, 2017

Commits on Jul 18, 2017

Correct unit Makefile to use OBJ rather than LIBS
thk123
committed
Added utility functions for checking expressions
thk123
committed
Adding pretty printer to main file
thk123
committed
Added utility class to convert strings into expressions
thk123
committed
Added constructor to auxilary symbol instead of a helper function
thk123
committed
Merge pull request #1119 from LAJW/adapt-perl-script
Daniel Kroening
authored
Merge pull request #1111 from thk123/feature/unit-test-utility
Daniel Kroening
authored
Merge pull request #1146 from tautschnig/fix-525
Daniel Kroening
authored

Commits on Jul 19, 2017

Handle array initialization with a non-array gracefully
tautschnig
committed
Corrected simplify lhs in ai_domain_baset
thk123
committed
Added unit tests to validate the return meaning of ai_simplify_lhs
thk123
committed
cleanup array theory solver
Daniel Kroening
committed

Commits on Jul 20, 2017

Merge pull request #1145 from diffblue/array_cleanup
tautschnig
authored
Fix nullptr
reuk
committed
Fix linter errors, ignoring big-int and miniz
reuk
committed
get rid of typet(ID_pointer)
Daniel Kroening
committed
use pointer_type() instead of pointer_typet()
Daniel Kroening
committed
address_of now needs a pointer type
Daniel Kroening
committed
removed an assert
Daniel Kroening
committed
include order cleanup
Daniel Kroening
committed
Merge pull request #1090 from karkhaz/kk-neu-documentation
Daniel Kroening
authored
Documentation for goto_program_templatet and cfg_baset
cesaro
committed
Merge pull request #1154 from diffblue/pointer-cleanup
tautschnig
authored
added a non-recursive variant of APPLY
Daniel Kroening
committed
disable linter for assertions
Daniel Kroening
committed

Commits on Jul 22, 2017

Merge pull request #872 from reuk/assignment-typet-fix-master
Daniel Kroening
authored
Merge pull request #1070 from thk123/bugfix/simplify-lhs
Daniel Kroening
authored

Commits on Jul 23, 2017

Allow invariants with structured exceptions
smowton
committed

Commits on Jul 24, 2017

Commits on Jul 25, 2017

Update exception types with vs2013 support
reuk
committed

Commits on Jul 26, 2017

Merge pull request #1174 from reuk/new-nullptr-master
Daniel Kroening
authored
Merge pull request #886 from owen-jones-diffblue/doc/symbol_name_separators
Daniel Kroening
authored

Commits on Aug 1, 2017

Commits on Aug 3, 2017

Merge pull request #131 from tautschnig/struct-init-error
Daniel Kroening
authored
increased version number in preparation for release 5.8
Daniel Kroening
committed
Merge pull request #1144 from diffblue/miniBDD-non-recursive-apply
Daniel Kroening
authored
fix for operator< on reverse_keyt in miniBDD, fixing segfault in ebmc
Daniel Kroening
committed
invariant_violated does not return
Daniel Kroening
committed
test for miniBDD
Daniel Kroening
committed
Symex support for lhs-typecasts and side effects
tautschnig
committed
Extract elements of array, struct directly instead of simplifying
tautschnig
committed
Removed redundant get_pc() (there is pc())
tautschnig
committed
Fix symex thread statistics
tautschnig
committed
Extended symex progres statistics
tautschnig
committed
Symex: output instruction processing and loop unwinding like CBMC
tautschnig
committed
symex --max-search-time limit and cleanup
tautschnig
committed
Perform function-pointer removal in symex
tautschnig
committed

Commits on Aug 4, 2017

Avoid using integer_typet where unsuitable
tautschnig
committed
Merge pull request #1062 from diffblue/fix_for_miniBDD
Daniel Kroening
authored
Merge pull request #151 from tautschnig/symex-improvements
Daniel Kroening
authored
Merge pull request #1167 from tautschnig/c-library-ext
Daniel Kroening
authored
Merge pull request #1035 from tautschnig/no_integer_typet
Daniel Kroening
authored
Avoid spurious signed/unsigned comparison warnings
tautschnig
committed
Merge pull request #1205 from tautschnig/sign-compare-fix
Daniel Kroening
authored
Merge pull request #1158 from tautschnig/array-bounds
Daniel Kroening
authored
fix vacuous conjuncts
Daniel Kroening
committed
Stop using C headers
reuk
committed
Update coding standard
reuk
committed
Enable extractbits over arbitrary types, fix byte extract omission
tautschnig
committed
Merge pull request #1211 from tautschnig/fix-1209
Daniel Kroening
authored

Commits on Aug 5, 2017

Merge pull request #1210 from reuk/stop-using-c-headers
Daniel Kroening
authored

Commits on Aug 7, 2017

Merge pull request #1188 from LAJW/any-desc
tautschnig
authored

Commits on Aug 8, 2017

Merge pull request #1132 from cesaro/feature/documentation
tautschnig
authored

Commits on Aug 9, 2017

remove dead comparison in simplifier
Daniel Kroening
committed
Merge branch 'master' of github.com:diffblue/cbmc
Daniel Kroening
committed
support clang's __builtin_flt_rounds
Daniel Kroening
committed

Commits on Aug 10, 2017

simplifier: erase 'all ones' out of bitand
Daniel Kroening
committed
silence linter on builtin headers
Daniel Kroening
committed
Merge pull request #1225 from diffblue/builtin_flt_rounds
tautschnig
authored
Merge pull request #1226 from diffblue/simplify_bitand_all_ones
tautschnig
authored
tests from Dan
Daniel Kroening
committed

Commits on Aug 11, 2017

Add merge driver
reuk
committed
Merge pull request #1232 from reuk/reuk/add-merge-driver
Daniel Kroening
authored
make test less specific
Daniel Kroening
committed
source location of the generated 'default' label is now the end of the switch body instead of the swtich statement
Daniel Kroening
committed

Commits on Aug 14, 2017

remove an old file
Daniel Kroening
committed
add a location node for switch statements
Daniel Kroening
committed
Merge pull request #1234 from diffblue/switch_end_location
Daniel Kroening
authored

Commits on Aug 15, 2017

stronger typing of parameters
Daniel Kroening
committed
a missing 'const'
Daniel Kroening
committed
move include
Daniel Kroening
committed
Deactivate unreachable code

peterschrammel
authored and
Daniel Kroening
committed
Remove unreachable code

peterschrammel
authored and
Daniel Kroening
committed
Fix class member initialization...

peterschrammel
authored and
Daniel Kroening
committed
Comment on uninitialized class members

peterschrammel
authored and
Daniel Kroening
committed
Removed unused class member

peterschrammel
authored and
Daniel Kroening
committed
Comment regarding illegal iterator increment

peterschrammel
authored and
Daniel Kroening
committed
Ignore return value

peterschrammel
authored and
Daniel Kroening
committed
Make truncation explicit

peterschrammel
authored and
Daniel Kroening
committed
Use ID_C

peterschrammel
authored and
Daniel Kroening
committed

Commits on Aug 16, 2017

ensure initialization of PODs
Daniel Kroening
committed

Commits on Aug 17, 2017

Fix accesses to erased elements

peterschrammel
authored and
Daniel Kroening
committed
Deactivate unused declaration

peterschrammel
authored and
Daniel Kroening
committed
Remove comparison without effect

peterschrammel
authored and
Daniel Kroening
committed
Whitespace cleanup

peterschrammel
authored and
Daniel Kroening
committed
Fix uninitialized class members

peterschrammel
authored and
Daniel Kroening
committed
Clean up initialization and unused constructors

peterschrammel
authored and
Daniel Kroening
committed
Check return values of remove, rename and stat

peterschrammel
authored and
Daniel Kroening
committed
Replace asserts

peterschrammel
authored and
Daniel Kroening
committed

Commits on Aug 20, 2017

Test passes
tautschnig
committed
Merge the correct attribute node
tautschnig
committed
Merge pull request #1256 from tautschnig/c-attributes-fix
Daniel Kroening
authored
new goto_convert API
Daniel Kroening
committed

Commits on Aug 21, 2017

clean out langapi/languages.h
Daniel Kroening
committed

Commits on Aug 29, 2017