GitHub - vlab-cs-ucsb/Stranger: Automata-based Symbolic String Analysis Library

This is the old project. Please see the new one: LibStranger.

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
strangerlib.xcodeproj		strangerlib.xcodeproj
.cproject		.cproject
.gitignore		.gitignore
.project		.project
COPYING		COPYING
README.md		README.md
arithmetic.c		arithmetic.c
backward.c		backward.c
function_models.c		function_models.c
graph.c		graph.c
multi_signature_generator.c		multi_signature_generator.c
multi_track.c		multi_track.c
pre_suffix.c		pre_suffix.c
replace.c		replace.c
stranger.h		stranger.h
stranger_lib.c		stranger_lib.c
stranger_lib_internal.h		stranger_lib_internal.h
test.c		test.c
utility.c		utility.c
utility.h		utility.h
widening.c		widening.c

Provide feedback