Badger uses fuzz testing to generate a diverse set of inputs that aim to increase not only coverage but also a resource-related cost associated with each path.

Jun 8, 2018 · In this paper we describe Badger - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when ...

ABSTRACT. Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code.

Badger employs a hybrid software analysis technique that combines fuzzing and symbolic execution for finding performance bottlenecks in software. Our primary ...

Algorithmic complexity analysis enables developers to reason about their programs, understand perfor- mance bottlenecks, and reveal worst-.

Badger is described - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when the worst-case time or ...

Badger employs a hybrid software analysis technique that combines fuzzing and symbolic execution for finding performance bottlenecks in software. Our primary ...

Badger means the combination of fuzzing and symbolic execution for complexity analysis. This approach uses the strength and scalability of fuzzing and the ...

Badger uses fuzz testing to generate a diverse set of inputs that aim to increase not only coverage but also a resource-related cost associated with each path.

Badger: complexity analysis with fuzzing and symbolic execution. Y Noller, R Kersten, CS Păsăreanu. Proceedings of the 27th ACM SIGSOFT international symposium ...