GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java']Java Virtual Machine (Competition Contribution)

被引：6
|
作者：
Mues, Malte [1 ]
Howar, Falk [1 ,2 ]
机构：
[1] TU Dortmund Univ, Dortmund, Germany
[2] Fraunhofer ISST, Dortmund, Germany
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II | 2022年 / 13244卷
关键词：
Dynamic Symbolic Execution; Software Verification;
D O I：
10.1007/978-3-030-99527-0_27
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
GDART is an ensemble of tools allowing dynamic symbolic execution of JVM programs. The dynamic symbolic execution engine is decomposed into three different components: a symbolic decision engine (DSE), a concolic executor (SPouT), and a SMT solver backend allowing meta-strategy solving of SMT problems (JConstraints). The symbolic decision component is loosely coupled with the executor by a newly introduced communication protocol. At SV-COMP 2022, GDART solved 471 of 586 tasks finding more correct false results (302) than correct true results (169). It scored fourth place.
引用
收藏
页码：435 / 439
页数：5
相关论文
共 50 条
  • [31] Asynchronous Java']Java accelerator for embedded Java']Java virtual machine
    Liang, Z
    Plosila, J
    Sere, K
    PROCEEDINGS OF THE IEEE 6TH CIRCUITS AND SYSTEMS SYMPOSIUM ON EMERGING TECHNOLOGIES: FRONTIERS OF MOBILE AND WIRELESS COMMUNICATION, VOLS 1 AND 2, 2004, : 253 - 256
  • [32] Java']Java tools for measurement of the machine loads
    Bouchi, A
    Olejnik, R
    Toursel, B
    ADVANCED ENVIRONMENTS, TOOLS, AND APPLICATIONS FOR CLUSTER COMPUTING, 2002, 2326 : 271 - 278
  • [33] Asynchronous migration of execution context in Java']Java Virtual Machines
    Shudo, K
    Muraoka, Y
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 18 (02): : 225 - 233
  • [34] JayHorn: A Java']Java Model Checker (Competition Contribution)
    Kahsai, Temesghen
    Rummer, Philipp
    Schaf, Martin
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 214 - 218
  • [35] Java']Java virtual machine doubles speed
    Wong, W
    ELECTRONIC DESIGN, 2001, 49 (21) : 30 - +
  • [36] The Java']Java virtual machine: A passing fad?
    Franz, M
    IEEE SOFTWARE, 1998, 15 (06) : 26 - +
  • [37] Thread Modeling in Java']Java Virtual Machine
    Wu Weimin
    Su Qing
    Li Kailun
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 438 - 441
  • [38] Application isolation in the Java']Java™ virtual machine
    Czajkowski, G
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 354 - 366
  • [39] Implementation of Java']Java Card Virtual Machine
    Liu, SY
    Mao, ZG
    Ye, YZ
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 15 (06) : 591 - 596
  • [40] Array modeling in Java']Java Virtual Machine
    Wu Weimin
    Li Kailun
    Su Qing
    ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2007, 4847 : 617 - +
12345