Analysis

TitleCreatorModified
02.Dynamic program analysisLazenca.0x0Nov 30, 2017
01.Static program analysisLazenca.0x0Nov 30, 2017
Clang Static AnalyzerLazenca.0x0Nov 30, 2017
Valgrind - MemcheckLazenca.0x0Nov 28, 2017
ASAN - Address SanitizerLazenca.0x0Nov 28, 2017
ValgrindLazenca.0x0Nov 28, 2017
04.Concolic executionLazenca.0x0Nov 28, 2017
06.DBI(Dynamic Binary Instrumentation)Lazenca.0x0Nov 28, 2017
05.Taint analysisLazenca.0x0Nov 28, 2017
03.Symbolic execution(feat.Concrete execution)Lazenca.0x0Nov 28, 2017
DynamoRIOLazenca.0x0Nov 17, 2017
DyninstLazenca.0x0Nov 17, 2017
PINLazenca.0x0Nov 17, 2017
IR(Intermediate Representation)Lazenca.0x0Sep 19, 2017

  • No labels