Skip to content

Commit 18cd6c8

Browse files
authored
Update README.md
Add new video
1 parent 35889ad commit 18cd6c8

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

README.md

+7-5
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,14 @@ cozy is a symbolic execution framework built around angr to enable comparative e
44
The goal of comparative evaluation is to determine the precise changes made by software
55
patches, specifically micropatches. cozy is capable of reporting observable changes
66
made by a micropatch, specifically to registers, memory and stdout/stderr. The framework
7-
has the ability to dump diff information in both a textual human-readable report and
8-
via a browser based rich user interface.
7+
has the ability to present the behavioral changes caused by a patch in both a textual
8+
human-readable report and via a browser based rich user interface.
9+
10+
11+
12+
https://github.com/user-attachments/assets/2e72575f-0074-44a9-8412-2b17839b7b71
913

10-
![Screenshot](screenshots/cozy-viz-1.png)
1114

12-
https://github.com/draperlaboratory/cozy/assets/53128179/0f5ab972-5d77-4723-9149-04c7427896d2
1315

1416
## Install
1517

@@ -145,4 +147,4 @@ python3 -m build
145147
# Replace the version number with what you just built
146148
python3 -m twine upload dist/cozy_re-1.5.0*
147149
# Once you're done, make a release on Github and upload .whl and .tar.gz files that you just built. Enter changelog in the releases section.
148-
```
150+
```

0 commit comments

Comments
 (0)