Pin

Luk, Chi-Keung; Cohn, Robert; Muth, Robert; Patil, Harish; Klauser, Artur; Lowney, Geoff; Wallace, Steven; Reddi, Vijay Janapa; Hazelwood, Kim

doi:10.1145/1065010.1065034

Cited by 2,177 publications

(67 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Such a negative feedback again increases diffusivity according to Eqs. (26) and (27), which again causes the processes (L i t ) t∈N (i = 1, 2) to diffuse into other regions of the input space.…”

Section: Discussionmentioning

confidence: 99%

“…1). Our implementation is based on Intel's dynamic instrumentation tool Pin [26] to trace the reached basic blocks of a generated test case. In order to calculate the number E(x 0 , I ) of newly discovered basic blocks executed by a test case x 0 as defined in Eq.…”

Section: Methodsmentioning

confidence: 99%

“…Depending on the quality rating outcome, the diffusivity of (L 1 t ) t∈N and (L 2 t ) t∈N is then adapted correspondingly by updating α 1 and α 2 according to the sigmoid functions f i in Eqs. (26). Then the current list of test cases X all is updated with the just generated set X gen and the fuzzer continues to loop.…”

Section: Joining the Piecesmentioning

confidence: 99%

See 2 more Smart Citations

Fuzzing binaries with Lévy flight swarms

Böttinger

2016

EURASIP J. on Info. Security

View full text Add to dashboard Cite

We present a new method for random testing of binary executables inspired by biology. In our approach, we introduce the first fuzzer based on a mathematical model for optimal foraging. To minimize search time for possible vulnerabilities, we generate test cases with Lévy flights in the input space. In order to dynamically adapt test generation behavior to actual path exploration performance, we define a suitable measure for quality evaluation of test cases. This measure takes into account previously discovered code regions and allows us to construct a feedback mechanism. By controlling diffusivity of the test case generating Lévy processes with evaluation feedback from dynamic instrumentation, we are able to define a fully self-adaptive fuzzing algorithm. We aggregate multiple instances of such Lévy flights to fuzzing swarms which reveal flexible, robust, decentralized, and self-organized behavior.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Fuzzing binaries with Lévy flight swarms

Böttinger

2016

EURASIP J. on Info. Security

View full text Add to dashboard Cite

show abstract

“…Moreover, the emulation obviously makes this solution slow in testing high performance programs. PIN [7], DynamoRIO [1], DynInst [2] or MAQAO [6] rely on instruction decoding to instrument the code. These tools reverse engineer programs and directly insert opcodes anywhere in the binary.…”

Section: Related Workmentioning

confidence: 99%

Runtime Function Instrumentation with EZTrace

Aulagnon

Martin-Guillerez

Rue

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. High-performance computing relies more and more on complex hardware: multiple computers, multi-processor computer, multi-core processing unit, multiple general purpose graphical processing units... To efficiently exploit the power of current computing architectures, modern applications rely on a high level of parallelism. To analyze and optimize these applications, tracking the software behavior with minimum impact on the software is necessary to extract time consumption of code sections as well as resource usage (e.g., network messages). In this paper, we present a method for instrumenting functions in a binary application. This method permits to collect data at the entry and the exit of a function, allowing to analyze the execution of an application. We implemented this mechanism in EZTrace 4 and the evaluation shows a significant improvement compared to other tools for instrumentation.

show abstract

“…The front-end of our automatic multi-threaded workload synthesis framework is implemented using the Intel Pin tools [7], a dynamic instrumentation system capable of capturing the execution of an application by inserting customized code at key program locations. We use a disassembler to identify call sites for multi-threading primitives in the pthread library and pass these addresses to the Pin tool.…”

Section: The Front Endmentioning

confidence: 99%