{"url":"/dataset/logic-bombs","name":"Logic Bombs","full_name":null,"description_markdown":"This is a set of small programs with logic bombs. The logic bomb can be triggered when certain conditions are met. Any dynamic testing tools (especially symbolic execution) can employ the dataset to benchmark their capabilities.","description_withheld":null,"homepage":"https://github.com/hxuhack/logic_bombs","introduced_date":"2018-05-25","introduced_date_note":null,"introduced_by":{"paper":"/paper/on-benchmarking-the-capability-of-symbolic","title":"On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs","first_author":null,"url":null},"license":null,"modalities":[],"tasks":[],"languages":[],"variants":["Logic Bombs"],"data_loaders":[{"repo":"https://github.com/hxuhack/logic_bombs","url":"https://github.com/hxuhack/logic_bombs","frameworks":[]}],"num_papers_in_archive":4,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}