Merge develop into Security Scanner Support#1347

Merged

smowton merged 957 commits intodiffblue:security-scanner-supportfrom NathanJPhillips:sss/merge-develop

Sep 7, 2017

+28,285-6,341

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

Commits on Aug 7, 2017

Merge pull request diffblue#1201 from LAJW/test-gen-escape-quota
peterschrammel
authored
Throw ArithmeticException whenever a division-by-zero is encountered

cristina-david
authored and
smowton
committed
Regression test for ArithmeticException

cristina-david
authored and
smowton
committed

Commits on Aug 8, 2017

Commits on Aug 9, 2017

Commits on Aug 10, 2017

Commits on Aug 11, 2017

Commits on Aug 14, 2017

Add test showing faulty synchronized behaviour
reuk
committed
Merge pull request diffblue#1230 from reuk/reuk/synchronized-test
thk123
authored
Ensure fields are considered in the same way as parameters
thk123
committed
Split jobs to two stages in Travis
Vlastimil Zeman
committed
Refactored some lazy methods code into a separte file
thk123
committed
Added documentation to class_hierarchy
thk123
committed
Swapping asserts to invariants in one of the methods
thk123
committed
Tighten up lazy loading for virtual functions implemented in base class
thk123
committed

Commits on Aug 15, 2017

Standardise ccache size to 1 GB
Vlastimil Zeman
committed
Update cbmc-builder alpine container
Vlastimil Zeman
committed
Pulled out logic for finding the correct resolution for a given virtual call
thk123
committed
Renamed files to more consistent names
thk123
committed
Tidying changes in ci_lazy_methods
thk123
committed
Remove const that stops copying
thk123
committed
Tidy up convert method to remove unnecessary else statements
thk123
committed
Merge pull request diffblue#1228 from thk123/bugfix/lazy-method-params
thk123
authored
Add ccache for gcc builds
Vlastimil Zeman
committed
Add invariant helper that pretty-prints an irep
smowton
committed

Commits on Aug 16, 2017

Commits on Aug 17, 2017

Commits on Aug 18, 2017

Commits on Aug 21, 2017

Commits on Aug 22, 2017

Commits on Aug 23, 2017

Merge pull request diffblue#1269 from tautschnig/fix-array-cleanup
Daniel Kroening
authored
Merge pull request diffblue#1175 from karkhaz/kk-cpplint-if-zero
Daniel Kroening
authored
Merge pull request diffblue#1267 from reuk/reuk/master-into-tgs
peterschrammel
authored
Merge pull request diffblue#1261 from janmroczkowski/janmroczkowski/revert-private-pc-in-goto_trace_stept
peterschrammel
authored
Add test showing infinite unwinding
reuk
committed
Merge pull request diffblue#1276 from smowton/smowton/fix/java_pointer_width
Daniel Kroening
authored
factor out goto model linking into separate file
Daniel Kroening
committed
use invariant
Daniel Kroening
committed
Merge pull request diffblue#1268 from diffblue/link-goto-model
Daniel Kroening
authored
variants of service functions for goto_modelt
Daniel Kroening
committed
pointer_typet now requires a width
Daniel Kroening
committed
avoid hard-wired pointer width
Daniel Kroening
committed
Merge pull request diffblue#1275 from diffblue/goto-model-service-functions
Daniel Kroening
authored
Transform loop that is only executed once into if
peterschrammel
committed
Regression tests for pointer-to-member conversion
peterschrammel
committed
Fixed whitespace around "="
tautschnig
committed
Do not lint C++ regression tests
peterschrammel
committed
Merge pull request diffblue#1192 from peterschrammel/various-fixes
tautschnig
authored
Merge pull request diffblue#1286 from tautschnig/cover-minor-fixes
Daniel Kroening
authored
Interpreter: replace assert by invariants
tautschnig
committed
Merge pull request diffblue#551 from mgudemann/update_mp_arith
peterschrammel
authored
Remove constant_exprt::integer_constant
tautschnig
committed
Merge pull request diffblue#1239 from reuk/virtual-function-unwinding
peterschrammel
authored

Commits on Aug 24, 2017

Commits on Aug 25, 2017

Commits on Aug 27, 2017

Add source location to JSON output.
Vojtech Forejt
committed

Commits on Aug 29, 2017

Commits on Aug 30, 2017

Merge pull request diffblue#919 from reuk/no-std-inheritance
thk123
authored
Update function signatures in goto_rw, fixing build
reuk
committed
Merge pull request diffblue#1304 from peterschrammel/bugfix/linter-copyright-check
Daniel Kroening
authored
Merge pull request diffblue#1306 from reuk/reuk/fixup-after-919
thk123
authored
Remove usage of static in the header file
Lukasz A.J. Wrona
committed
Constraint gen cosmetics
Lukasz A.J. Wrona
committed
constraint_generator message is a member
Lukasz A.J. Wrona
committed
Use C++11 initialization for constraint generator members
Lukasz A.J. Wrona
committed
Use vector instead of list for constraint_generator data
Lukasz A.J. Wrona
committed
Hide index_symbols and boolean_symbols in constraint generator
Lukasz A.J. Wrona
committed
constraint generator const namespace
Lukasz A.J. Wrona
committed
Better string_refinement constructor Act 1
Lukasz A.J. Wrona
committed
Better string_refinement constructor Act II
Lukasz A.J. Wrona
committed
String refinement - remove unused public methods, fix comments
Lukasz A.J. Wrona
committed
Better string_constraint_generator constructor
Lukasz A.J. Wrona
committed
Make string_constraint_generatort::fresh_symbol non-static
Lukasz A.J. Wrona
committed
Better bv_refinement constructor
Lukasz A.J. Wrona
committed
Hide bv_refinement members, add override specifier
Lukasz A.J. Wrona
committed
Remove unnecessary typedef
Lukasz A.J. Wrona
committed
Make some string_constraint_generator methods static
Lukasz A.J. Wrona
committed
Make more generator methods private
Lukasz A.J. Wrona
committed
Private get_created_strings
Lukasz A.J. Wrona
committed
Group generator's member variables
Lukasz A.J. Wrona
committed
Rename axioms to m_axioms
Lukasz A.J. Wrona
committed
Prefix all generator member variables with "m_"
Lukasz A.J. Wrona
committed
Update unit tests with new constructors
Lukasz A.J. Wrona
committed
Don't pass language_uit::uit as a pointer
Lukasz A.J. Wrona
committed
Fix linter errors
Lukasz A.J. Wrona
committed
Fix is_in_conflict with conflict override
Lukasz A.J. Wrona
committed
Preprocess constexpr
Lukasz A.J. Wrona
committed
Remove dead bv_refinementt::set_to
Lukasz A.J. Wrona
committed
Correct comment
Lukasz A.J. Wrona
committed
Use_counter_example assignable via constructor
Lukasz A.J. Wrona
committed
Merge pull request diffblue#1302 from diffblue/goto-get-target
Daniel Kroening
authored
Merge pull request diffblue#1301 from diffblue/assert_false_cleanup
Daniel Kroening
authored
Move constexpr ifdef into a util header
Lukasz A.J. Wrona
committed
Constraint generator doxygen
Lukasz A.J. Wrona
committed
Fix function declaration slicing
Lukasz A.J. Wrona
committed

Commits on Aug 31, 2017

Commits on Sep 6, 2017

Merge develop into SSS
NathanJPhillips
committed