Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sydr: Cutting Edge Dynamic Symbolic Execution   The security development lifecycle (SDL) is becoming an industry standard.
Dynamic symbolic execution (DSE) has enormous amount of applications in
computer security (fuzzing, vulnerability discovery, reverse-engineering,
etc.). We propose several performance and accuracy improvements for dynamic
symbolic execution. Skipping non-symbolic instructions allows to build a path
predicate 1.2--3.5 times faster. Symbolic engine simplifies formulas during
symbolic execution. Path predicate slicing eliminates irrelevant conjuncts from
solver queries. We handle each jump table (switch statement) as multiple
branches and describe the method for symbolic execution of multi-threaded
programs. The proposed solutions were implemented in Sydr tool. Sydr performs
inversion of branches in path predicate. Sydr combines DynamoRIO dynamic binary
instrumentation tool with Triton symbolic engine. We evaluated Sydr features on
64-bit Linux executables.

23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th