MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications
Resource Deadlock Programs
Here is a list of programs with resource deadlocks (SQLite and MySQL) and other programs we have used in our ICSE'12 paper [1].
| Name | Version | Bug ID | Bug link | Source code |
| SQLite | 3.3.3 | #1672 | Ticket=1672
(Description) |
Download |
| MySQL | 6.0.4 | #37080 | Bug_id=37080 | Download |
| Chromium | 12.0.742 | - | - | Official site |
| Firefox | 6.0 | - | - | Official site |
| OpenOffice | 3.2.0 | - | - | Official site |
| Thunderbird | 2.0.0 | - | - | Official site |
MagicFuzzer
Download the binary of MagicFuzzer, click HERE
(Please append a suffix ".7z" to this link). Part of our tool is built on Pintool, you may firstly learn how to run a analysis program under pin.
References
- Y. Cai and W.K. Chan. MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications, In Proceedings of the 34th International Conference on Software Engineering (ICSE'12), (Zurich, Switzerland, Jun 2 – Jun 9, 2012), 606-616, 2012.