Compiler testing and bug detection are critical areas in software development, particularly because compilers serve as the backbone for translating high-level programming languages into machine code.

One approach involves using machine learning techniques to enhance the precision of bug detection. For instance, a study proposed a Transformer-based learning model that successfully reduced false ...

This repository contains the source code of the frontend and a portion of the backend code for implementing the various datasets and schemes used in our "A Demonstration of DLBD: Database Logic Bug ...

Many IC companies outsource manufacturing to third-party foundries, creating security risks such as syntactical bugs and stealthy analog Trojans. Traditional Trojan detection methods, including ...

Abstract: The ability to detect and pinpoint memory-related bugs in production runs is important because in-house testing may miss bugs. This paper presents HeapMon, a heap memory bug-detection scheme ...

Bed bugs are a persistent nuisance that can disrupt the comfort and hygiene of any home or property. These tiny, elusive ...

├── README.md # README ├── benchmark # Dataset │ ├── Java # Java programs │ │ ├── juliet-test-suite-APT # Absolute Path Traversal │ │ ├── juliet-test-suite-CI # OS Command Injection │ │ ├── ...