Zobrazeno 1 - 10
of 105
pro vyhledávání: '"URBAN, LUKÁŠ"'
We present a novel gray-box fuzzing algorithm monitoring executions of instructions converting numerical values to Boolean ones. An important class of such instructions evaluate predicates, e.g., *cmp in LLVM. That alone allows us to infer the input
Externí odkaz:
http://arxiv.org/abs/2401.12643
