2 citations · 9 across the 12 of their papers we have counts for
13 papers
Gray-Box Fuzzing in Local Space
Martin Jonáš, Jan Strejček, Marek Trtík
We consider gray-box fuzzing of a program instrumented such that information about evaluation of program expressions converting values of numerical types to Boolean, like x <= y, i…
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
Martin Jonáš, Jan Strejček, Marek Trtík +1
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 pr…
Tighter Loop Bound Analysis (Technical report)
Pavel Čadek, Jan Strejček, Marek Trtík
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as funct…
Anonymous On-line Communication Between Program Analyses
Marek Trtik
We propose a light-weight client-server model of communication between program analyses. Clients are individual analyses and the server mediates their communication. A client canno…
From Low-Level Pointers to High-Level Containers
Kamil Dudka, Lukáš Holík, Petr Peringer +2
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls…
Anonymous On-line Communication Between Program Analyses
Marek Trtik
We propose a light-weight client-server model of communication between existing implementations of different program analyses. The communication is on-line and anonymous which mean…