cozy 1.5.1

New features for v1.5.1:

• Underconstrained symbolic execution was added. This can cut down the amount of time required to write harnesses in certain scenarios.
• Minor bug fixes (solver model generation, fixed typo in variable reference)

cozy v1.5.0

New features for v1.5.0:

• Using the cozy.analysis.Comparison.verify method now works properly. Added example for the verify method to cmp_null_deref example.
• New feature in cozy visualization interface: report generation. This enables the operator to ensure that they cover all differences, and allows them to take notes on differences. To access, go to the menu Files > Open New Report. This will open a new window which you can run side-by-side with the visualization.

cozy v1.4.0

New features for v1.4.0:

• Added CFG view to visualization
• Exporting results to JSON now results in a single file instead of two files
• Various improvements and bug fixes to visualization interface
• Better handling for symbolic and concrete boolean values
• Script generation wizard now has greatly improved prompting interface
• Added tutorial page on side effects

cozy v1.3.0

New features for v1.3.0:

• Added Breakpoint directive
• Added Postcondition directive
• Added template wizard. Can be run using python3 -m cozy
• Added support for diffing symbolic side effects to visualization UI
• Added simplify flag for enabling memory and register simplification for symbolic values
• Fixed minor errors and updated getting started guide
• Added support for loop_bound to prevent cases of infinite loops. Loop bounds added to the visualization as a downward facing arrow

cozy v1.2.2

• Added new feature: side effects, and channels for side effects
• Fixed critical issue during computation of the range of invalid stack, which in some cases would erroneously remove differences in memory
• Added new examples from recent AMP Hackathon

cozy v1.2.1

Fixed module rename

cozy v1.2

Bumped version number of cozy, added screenshot to README

cozy v1.0.3

This is the first release of cozy published on the main PyPI server. The primary new feature in this release is the use of unsat core to speed up symbolic diffing. Also included is segment alignment in the visualization, which can be triggered by pressing shift and hovering over nodes.