ISSTAC

spf-sca Public
Side-channel analysis via symbolic execution

Java 4 MIT 2 0 0 Updated Dec 17, 2020
kelinci Public
AFL-based fuzzing for Java

Java 190 Apache-2.0 51 4 5 Updated Jan 26, 2020
diffuzz Public

Java 31 Apache-2.0 4 0 0 Updated Feb 25, 2019
badger Public

Java 18 MIT 3 0 0 Updated Jan 10, 2019
spf-wca Public
Tool for algorithmic complexity analysis based on symbolic execution

Java 8 MIT 8 1 0 Updated Sep 17, 2018
canopy Public

Java 5 MIT 2 0 0 Updated Aug 8, 2018
cogito Public

Java 2 MIT 2 0 0 Updated Oct 23, 2017

Popular repositories