What is considered in scope and what is not? I see KLEE as symbolic execution engine, but not angr (at least no link to driller) or s2e (link to Klee) for example. Full disclosure z I haven't read the survey yet
-
-
-
That's a good question. The limit is blurry. We couldn't be exhaustive on symbolic execution tools and research since there are surveys only on it. Maybe you can submit an issue on the repo on this? (The other author are more qualified on this than I am.)
Kraj razgovora
Novi razgovor -
-
-
SAVIOR is missed? https://arxiv.org/abs/1906.07327
-
Good point. We didn't update it post what we have in the survey (till Feb 2019) yet. Added SAVIOR now.
Kraj razgovora
Novi razgovor -
-
-
RedQueen is a child of kAFL, not a direct child of AFL. AFL++ is missing, like fuzzilli, grimoire, superion, aflsmart and others.
-
Will look back at RedQueen. The other ones where published after we submitted the survey. We still need to fully update (we cover till Feb 2019 now). Will work on the one you mentioned when I'm back home.
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.