From 68c77ab3ad9ca7dfdf0b124f4c5610266663d30d Mon Sep 17 00:00:00 2001 From: Adrian Herrera Date: Sun, 12 Aug 2018 17:49:54 +1000 Subject: [PATCH] Updated S2E website --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 433d52c..01da98f 100644 --- a/README.md +++ b/README.md @@ -96,7 +96,7 @@ * [BitBlaze](http://bitblaze.cs.berkeley.edu/). * [PathGrind](https://github.com/codelion/pathgrind) - Path-based dynamic analysis for 32-bit programs. * [FuzzBALL](http://bitblaze.cs.berkeley.edu/fuzzball.html) - Symbolic execution tool built on the BitBlaze Vine component. -* [S2E](http://s2e.epfl.ch/) - Symbolic execution platform supporting x86, x86-64, or ARM software stacks. +* [S2E](http://s2e.systems/) - Symbolic execution platform supporting x86, x86-64, or ARM software stacks. * [miasm](https://github.com/cea-sec/miasm) - Reverse engineering framework. Includes symbolic execution. * [pysymemu](https://github.com/feliam/pysymemu/) - Supports x86/x64 binaries. * [BAP](https://github.com/BinaryAnalysisPlatform/bap) - Binary Analysis Platform provides a framework for writing program analysis tools.