Binary Fission

Binary Fission is a citizen science game developed by UC Santa Cruz in partnership with SRI International and CEA France. By playing this game, you are helping to prove that the software from which our missions are generated is free from exploitable vulnerabilities.

Binary Fission approaches finding loop invariants as a kind of classification problem, where the player assists in finding the best possible classifier that will separate valid variable values from invalid variable values.The act of applying filters involves the player constructing a classifier.