Abstract
As one of the most dangerous and common software vulnerabilities, null dereference often leads to program crashes. In this chapter we propose a human computation method to detect null dereference in a “frog and bug” game. The purpose of the game is to utilize the rich distributed human resource to do the complex science work in a simple and pleasant way. Programs are transformed into visual puzzles first, and then the server collects information from the people playing the game. Finally the recorded metadata is translated back into the positions in the programs where null dereference may happen. The game has shown to be effective.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dillig I, Dillig T, Aiken A (2007) Static error detection using semantic inconsistency inference. In: Proceedings of the 2007 ACM SIGPLAN conference on progress language design and implementation, pp 435–445
Hovemeyer D, Pugh W (2007) Finding more null pointer bugs, but not too many. In: Proceedings of 7th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, pp 9–14
Hovemeyer D, Spacco J, Pugh W (2005) Evaluating and tuning a static analysis to find null pointer bugs. In: Proceedings of 6th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, pp 13–19
Chandra S, Fink SJ, Sridharan M (2009) Snugglebug: a powerful approach to weakest preconditions. In PLDI’09: Proceedings ACM SIGPLAN conference on programming language design and implementation, pp 363–374
Nanda MG, Sinha S (2009) Accurate interprocedural null-dereference analysis for Java. In ICSE’09: Proceedings of the 2009 IEEE 31st international conference on software engineering, Washington, USA, pp 133–143
Kim Y, Lee J, Han H, Choe KM (2010) Filtering false alarms of buffer overflow analysis using smt solvers. Inf Softw Technol 52(2):210–219
International games market data, consulting and publishing, http://www.newzoo.com
Von Ahn L (2006) Games with a purpose. IEEE Comput Mag 39(6):96–98
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J. (2013). Detecting Null Dereference with a Game. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34531-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-34531-9_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34530-2
Online ISBN: 978-3-642-34531-9
eBook Packages: EngineeringEngineering (R0)