Skip to content

Latest commit

 

History

History
13 lines (11 loc) · 1.13 KB

README.md

File metadata and controls

13 lines (11 loc) · 1.13 KB
Raw

Concurrency Bug Subjects (Java/C++)

This repository includes multi-threaded Java/C/C++ subjects with concurrency bugs.

Java Subjects

  • IBM Contest Benchmark Suite: It is a collection of small Java programs (less than 1KLOC). You can download the original programs by contacting Shmuel Ur at IBM.
  • Java Collection Library: Java Collection Libraries may crash when they are not appropriately used. This repository has the source code of Java 1.4 and test cases.
  • This repository has other programs and test cases.
  • You may get other large Java programs at the CalFuzzer homepage.
  • You may get other large Java programs, such as Derby and Tomcat, at the leap homepage.

C/C++ Subjects

  • Toy Benchmark Programs: This repository includes toy benchmark programs (less than 1KLOC), extracted from real bugs in mysql and mozilla. These programs are written by Jie Yu.
  • You may get other large C/C++ programs, such as apache and mysql, concurrency bug collection.