From b9ec1c1f8b1b1e77d6af6916ebdaa8a0e041bac8 Mon Sep 17 00:00:00 2001 From: Phillip Schanely Date: Fri, 24 Jan 2020 22:07:14 -0500 Subject: [PATCH] Add CrossHair to Python section. --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e42832f..9468f55 100644 --- a/README.md +++ b/README.md @@ -75,6 +75,7 @@ ### Python +* [CrossHair](https://github.com/pschanely/CrossHair) - Symbolic execution tool for verifying properties of Python functions. * [PyExZ3](https://github.com/thomasjball/PyExZ3) - Symbolic execution of Python functions. A rewrite of the [NICE](https://code.google.com/archive/p/nice-of) project's symbolic execution tool.