Improving Static Initialization Block Handling in Java Symbolic Execution Engine
| Autor: | Edit Pengő, István Siket |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Focus (computing)
Java Programming language Computer science Initialization 020207 software engineering 02 engineering and technology Static analysis Symbolic execution computer.software_genre 020204 information systems 0202 electrical engineering electronic engineering information engineering computer computer.programming_language Block (data storage) |
| Zdroj: | Computational Science and Its Applications – ICCSA 2017 ISBN: 9783319624037 ICCSA (5) |
| DOI: | 10.1007/978-3-319-62404-4_42 |
| Popis: | Runtime exceptions usually cause serious problems during execution, so it is important to focus on them during testing. On the other hand, it is very difficult to discover such problems by static analysis, so most tools are not able to find them. Symbolic execution is applied to verify the possible execution paths of the program without really executing it. Although it is able to detect runtime exceptions, usually it is very slow and requires lots of resources, consequently some trade-offs must be made so that it can be used in practice. But due to the different trade-offs, the results become less precise. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|