Skip to content

Latest commit

 

History

History
211 lines (190 loc) · 13 KB

CHANGELOG.md

File metadata and controls

211 lines (190 loc) · 13 KB

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog and this project adheres to Semantic Versioning.

[0.2.0] - Unreleased

Added

  • Documentation for some classes 22ccafc 878f159
  • Method names are now displayed next to frame in detailed log f24a40d

Changed

  • Eclipse configurations have been tweaked to remove unnecessary information b24da00

Deprecated

  • ...

Removed

Fixed

  • Fix bug in Z3 translation that caused mismatched bit vector sizes f3c8218
  • Issue #42 Fix bug that execute symbolic instruction before related classes were initialized 227236e

[0.1.0] - 2019.11.24

This list is incomplete because we did not commit often enough and did not exercise enough self-discipline to update this file carefully.

Added

  • Add gradle configuration to publish COASTAL on Maven Central Repository
  • Add model for String.valueOf() 6711b3e e36b38c
  • Add model for String.contains() 86db343
  • Add model for String.equals() 125140a
  • Add model for String.() fc97dc5
  • Add model for Character.isLetter() 57a451b
  • Add model for StringBuilder 8bf651d
  • Issue #29 Add instruction ANEWARRAY 9116d42
  • Add instruction LOOKUPSWITCH 68512dc
  • Add instruction D2I d4ebe95 2b58d95
  • Add instruction F2I, F2L, D2L cd46640
  • Add instruction I2D, I2F, FNEG 21212ce
  • Add instruction L2D 14603ff
  • Add instruction L2F, L2I 8672856
  • Add instruction INSTANCEOF ce24b0e
  • Add instruction D2F 43ad3b7
  • Add instruction DASTORE, FASTORE, LASTORE, BASTORE, DALOAD, FALOAD, LALOAD, BALOAD 081cfb5
  • Add SV-COMP 2019 as test cases. (But for now these tests are ignored.) e3939d1
  • Tests for line coverage e5f6236
  • Javadoc for za.ac.sun.cs.coastal package dba5ce3
  • Caching of models inside COASTAL 1e3022c
  • In-house solver 2dad358
  • Support for all Java primitive types 2dad358
  • Average speed in GUI (number of divers/surfers/refinements per second) e395280
  • Issue #23 Options to write instrumented code to file and to the log 69a7255
  • Issue #25 Add support for user specified program entry points and (command-line) arguments 3edc259
  • User specified seeds for RandomTesting strategy 159ed27
  • Issue #24 Tests for the RandomTesting strategy 159ed27
  • Hybrid fuzzer dd5fb83 71d7cda aadcfc1
  • Add command-line option (-quiet) to switch off detailed log daa866d
  • Add "Stop" button for the GUI. cbb488b
  • Add display of inputs for each dive/surf 1bd9605
  • Add creation of symbolic variables 244e468

Changed

Removed

  • Removed dependency on GREEN 2dad358

Fixed

  • Fixed bug with stack sizes
  • Fixed bug with character description in in-house solver output
  • Issue #37 Removed tricky COASTAL version code d18fc4f
  • Fix bug in generational strategy 0b3be3a aab8c61 6437a3b
  • Fix error in advanced DUP instructions 183dfdb

[0.0.2] - 2018.12.14

Added

  • Divers and strategies run in separate threads
  • Allow users to specify number of initial threads
  • Introduce lightweight instrumentation for fuzzing
  • Random testing a436562
  • Reporting of queue waiting times
  • Min/max bounds for all data types -- not just integers
  • Generational path strategy 59fea07
  • Line coverage observer a436562
  • Primitive GUI to show progress
  • Log file includes thread ids
  • New test structure
  • Read class files from JAR files

Changed

  • COASTAL now reads configuration from XML files
  • Listener mechanism replaced with publish-subscribe broker
  • Listeners changed to Observers
  • Version reporting made more robust
  • Path tree allows concurrent updates
  • Improved class loading
  • Reduced console output e1cc755
  • Significant refactoring to allow for lightweight testing and fuzzing
  • Issue #17 Duplicate and constant conjuncts now appear in the path tree d44d531

Fixed

  • Travis CI docker setup dd9bca9
  • Bug #15: new symbolic character bounds were incorrect (String.java::charAt__I__C) 8d9b5ba
  • Bug #19: COASTAL incorrectly complained about too few runs when only surfers executed 032346f
  • Bug #20: Options in XML are now pased to the strategy/observer/delegate they are intended for. They are also correctly accessed. 2bfa3e1
  • Bug #18: New docker image works, despite remaining bug cca94f7

[0.0.1] - 2018.11.27

Added

  • Exception handling
  • Symbolic operations in examples such as analysis termination and markers
  • Some initial documentation
  • Some initial testing
  • Path/conjunct/time/execution limits
  • Instruction coverage computation
  • Support for java switch statements
  • Improved configuration settings
  • Additional examples
  • Breadth-first and random strategies (in addition to depth-first)
  • All features from DEEPSEA

Changed

  • Setting coastal.recordmarks replaced with marker listener
  • Internally, (almost) all classes are made non-static

Removed

  • All coastal.dump... settings