├── .gitignore ├── LICENSE ├── README.md ├── docs ├── ccs17-kersten.pdf └── ccs2017-poster-small.pdf ├── examples ├── commons-imaging │ ├── NegSegmentSize.JPG │ ├── README │ └── src │ │ └── Driver.java ├── jdk-imageio │ ├── NegSegmentSize.JPG │ ├── README │ └── src │ │ └── DriverKelinci.java └── simple │ ├── README │ └── src │ └── SimpleBuggy.java ├── fuzzerside ├── Makefile └── interface.c └── instrumentor ├── build.gradle └── src └── main └── java └── edu └── cmu └── sv └── kelinci ├── Kelinci.java ├── Mem.java └── instrumentor ├── ClassTransformer.java ├── Instrumentor.java ├── JarFileIO.java ├── MethodTransformer.java └── Options.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/README.md -------------------------------------------------------------------------------- /docs/ccs17-kersten.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/docs/ccs17-kersten.pdf -------------------------------------------------------------------------------- /docs/ccs2017-poster-small.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/docs/ccs2017-poster-small.pdf -------------------------------------------------------------------------------- /examples/commons-imaging/NegSegmentSize.JPG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/commons-imaging/NegSegmentSize.JPG -------------------------------------------------------------------------------- /examples/commons-imaging/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/commons-imaging/README -------------------------------------------------------------------------------- /examples/commons-imaging/src/Driver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/commons-imaging/src/Driver.java -------------------------------------------------------------------------------- /examples/jdk-imageio/NegSegmentSize.JPG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/jdk-imageio/NegSegmentSize.JPG -------------------------------------------------------------------------------- /examples/jdk-imageio/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/jdk-imageio/README -------------------------------------------------------------------------------- /examples/jdk-imageio/src/DriverKelinci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/jdk-imageio/src/DriverKelinci.java -------------------------------------------------------------------------------- /examples/simple/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/simple/README -------------------------------------------------------------------------------- /examples/simple/src/SimpleBuggy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/examples/simple/src/SimpleBuggy.java -------------------------------------------------------------------------------- /fuzzerside/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/fuzzerside/Makefile -------------------------------------------------------------------------------- /fuzzerside/interface.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/fuzzerside/interface.c -------------------------------------------------------------------------------- /instrumentor/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/build.gradle -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/Kelinci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/Kelinci.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/Mem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/Mem.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/ClassTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/ClassTransformer.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/Instrumentor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/Instrumentor.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/JarFileIO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/JarFileIO.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/MethodTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/MethodTransformer.java -------------------------------------------------------------------------------- /instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/Options.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/isstac/kelinci/HEAD/instrumentor/src/main/java/edu/cmu/sv/kelinci/instrumentor/Options.java --------------------------------------------------------------------------------