Fetching the paper…
Reading the bibliography…
Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches.
A. M. Turing, “On computable numbers, with an application to the entscheidungsproblem,” Proceedings of the London Mathematical Society , vol. s2-42, no. 1, pp. 230–265, 1936
1936
Earlier work this paper cites.
D. E. Rumelhart, G. E. Hinton, and R. J. Williams, “Learning representations by back-propagating errors,” nature , vol. 323, no. 6088, pp. 533–536, 1986
1986
Earlier work this paper cites.
C. Heitmeyer, J. Kirby, B. Labaw, M. Archer, and R. Bharadwaj, “Using abstraction and model checking to detect safety violations in requirements specifications,” IEEE Transactions on software engineering , vol. 24, no. 11, pp. 927–948, 1998
1998
Earlier work this paper cites.
V. Hartonas-Garmhausen, S. V. A. Campos, A. Cimatti, E. M. Clarke, and F. Giunchiglia, “Verification of a safety-critical railway interlocking system with real-time constraints,” Sci. Comput. Program. , vol. 36, no. 1, pp. 53–64, 2000. [Online]. Available: https://doi.org/10.1016/S0167-6423(99)00016-7
2000
Earlier work this paper cites.
D. J. Solove, The digital person: Technology and privacy in the information age . NyU Press, 2004, vol. 1
2004
Earlier work this paper cites.
A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, And Tools , 2nd ed. Addison-Wesley Longman Publishing Co., Inc., 2006
2006
Earlier work this paper cites.
C. M. Bishop and N. M. Nasrabadi, Pattern recognition and machine learning . Springer, 2006, vol. 4, no. 4
2006
Earlier work this paper cites.
L. de Moura and N. Bjørner, “Z3: An efficient smt solver,” in Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and J. Rehof, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 337–340
2008
Earlier work this paper cites.
A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, “Bounded model checking.” Handbook of satisfiability , vol. 185, no. 99, pp. 457–481, 2009
2009
Earlier work this paper cites.
J. Lahtinen, J. Valkonen, K. Björkman, J. Frits, I. Niemelä, and K. Heljanko, “Model checking of safety-critical software in the nuclear engineering domain,” Reliability Engineering & System Safety , vol. 105, pp. 104–113, 2012
2012
Earlier work this paper cites.
M. Sipser, Introduction to the Theory of Computation . Cengage Learning, 2012
2012
Earlier work this paper cites.
T. Mikolov, I. Sutskever, K. Chen, G. S. Corrado, and J. Dean, “Distributed representations of words and phrases and their compositionality,” Advances in neural information processing systems , vol. 26, 2013
2013
Earlier work this paper cites.
J. Park, I. Lim, and S. Ryu, “Battles with false positives in static analysis of javascript web applications in the wild,” in Proceedings of the 38th International Conference on Software Engineering Companion , 2016, pp. 61–70
2016
Earlier work this paper cites.
Z. Li, D. Zou, S. Xu, H. Jin, H. Qi, and J. Hu, “Vulpecker: An automated vulnerability detection system based on code similarity analysis,” in Proceedings of the 32nd Annual Conference on Computer Security Applications , ser. ACSAC ’16. New York, NY, USA: Association for Computing Machinery, 2016, p. 201–213. [Online]. Available: https://doi.org/10.1145/2991079.2991102
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
S. Kim, S. Woo, H. Lee, and H. Oh, “Vuddy: A scalable approach for vulnerable code clone discovery,” in 2017 IEEE Symposium on Security and Privacy (SP) , 2017, pp. 595–614
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin, “Attention is all you need,” Advances in neural information processing systems , vol. 30, 2017
2017
Earlier work this paper cites.
2018
Earlier work this paper cites.
P. E. Black, “A Software Assurance Reference Dataset: Thousands of Programs With Known Bugs,” Journal of Research of the National Institute of Standards and Technology , vol. 123, pp. 1–3, Apr. 2018. [Online]. Available: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7339570/
2018
Earlier work this paper cites.
L. Kim and R. Russell, “Draper VDISC Dataset - Vulnerability Detection in Source Code,” 2018, publisher: OSF. [Online]. Available: https://osf.io/d45bw/
2018
Earlier work this paper cites.
A. Habib and M. Pradel, “How many of all bugs do we find? a study of static bug detectors,” in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering , 2018, pp. 317–328
2018
Cited alongside, same era.
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Eds., Handbook of Model Checking . Springer, 2018
2018
Cited alongside, same era.
2018
Cited alongside, same era.
M. Y. R. Gadelha, F. R. Monteiro, J. Morse, L. C. Cordeiro, B. Fischer, and D. A. Nicole, “ESBMC 5.0: an industrial-strength C model checker,” in ASE . ACM, 2018, pp. 888–891
2018
Cited alongside, same era.
2021
Later among the works it cites.
H. Hanif and S. Maffeis, “Vulberta: Simplified source code pre-training for vulnerability detection,” in 2022 International joint conference on neural networks (IJCNN) . IEEE, 2022, pp. 1–8
2022
Later among the works it cites.
H. Barbosa, C. W. Barrett, M. Brain, G. Kremer, H. Lachnitt, M. Mann, A. Mohamed, M. Mohamed, A. Niemetz, A. Nötzli, A. Ozdemir, M. Preiner, A. Reynolds, Y. Sheng, C. Tinelli, and Y. Zohar, “cvc5: A versatile and industrial-strength SMT solver,” in Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I , ser. Lecture Notes in Computer Science, D. Fisman and G. Rosu, Eds., vol. 13243. Springer, 2022, pp. 415–442. [Online]. Available: https://doi.org/10.1007/978-3-030-99524-9_24
2022
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
X. Duan, J. Wu, S. Ji, Z. Rui, T. Luo, M. Yang, and Y. Wu, “Vulsniper: focus your attention to shoot fine-grained vulnerabilities,” in Proceedings of the 28th International Joint Conference on Artificial Intelligence , ser. IJCAI’19. AAAI Press, 2019, p. 4665–4671
2019
Cited alongside, same era.
Y. Zhou, S. Liu, J. Siow, X. Du, and Y. Liu, Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks . Red Hook, NY, USA: Curran Associates Inc., 2019, pp. 10 197–10 207
2019
Cited alongside, same era.
Y. Zhou, S. Liu, J. Siow, X. Du, and Y. Liu, Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks . Red Hook, NY, USA: Curran Associates Inc., 2019
2019
Cited alongside, same era.
2019
Cited alongside, same era.
J. Fan, Y. Li, S. Wang, and T. N. Nguyen, “A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries,” in Proceedings of the 17th International Conference on Mining Software Repositories , ser. MSR ’20. New York, NY, USA: Association for Computing Machinery, Sep. 2020, pp. 508–512. [Online]. Available: https://doi.org/10.1145/3379597.3387501
2020
Cited alongside, same era.
J. Yin, M. Tang, J. Cao, and H. Wang, “Apply transfer learning to cybersecurity: Predicting exploitability of vulnerabilities by description,” Knowledge-Based Systems , vol. 210, p. 106529, 2020
2020
Cited alongside, same era.
2020
Cited alongside, same era.
T. Brown, B. Mann, N. Ryder, M. Subbiah, J. D. Kaplan, P. Dhariwal, A. Neelakantan, P. Shyam, G. Sastry, A. Askell et al. , “Language models are few-shot learners,” Advances in neural information processing systems , vol. 33, pp. 1877–1901, 2020
2020
Cited alongside, same era.
Later among the works it cites.
T. Ahmed and P. Devanbu, “Few-shot training llms for project-specific code-summarization,” in Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022, pp. 1–5
2022
Later among the works it cites.
X. Cheng, G. Zhang, H. Wang, and Y. Sui, “Path-sensitive code embedding via contrastive learning for software vulnerability detection,” in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis , 2022, pp. 519–531
2022
Later among the works it cites.
Z. Chen, S. Kommrusch, and M. Monperrus, “Neural transfer learning for repairing security vulnerabilities in c code,” IEEE Transactions on Software Engineering , vol. 49, no. 1, pp. 147–165, 2022
2022
Later among the works it cites.
K. Singh, S. S. Grover, and R. K. Kumar, “Cyber security vulnerability detection using natural language processing,” in 2022 IEEE World AI IoT Congress (AIIoT) . IEEE, 2022, pp. 174–178
2022
Later among the works it cites.
M. Fu and C. Tantithamthavorn, “Linevul: A transformer-based line-level vulnerability prediction,” in Proceedings of the 19th International Conference on Mining Software Repositories , 2022, pp. 608–620
2022
Later among the works it cites.
M. Abdel-Rahman et al. , “Advanced cybersecurity measures in it service operations and their crucial role in safeguarding enterprise data in a connected world,” Eigenpub Review of Science and Technology , vol. 7, no. 1, pp. 138–158, 2023
2023
Closest in time.
R. Jain, N. Gervasoni, M. Ndhlovu, and S. Rawat, “A code centric evaluation of c/c++ vulnerability datasets for deep learning based vulnerability detection techniques,” in Proceedings of the 16th Innovations in Software Engineering Conference , 2023, pp. 1–10
2023
Closest in time.
2023
Closest in time.
N. Tihanyi, T. Bisztray, R. Jain, M. A. Ferrag, L. C. Cordeiro, and V. Mavroeidis, “The formai dataset: Generative ai in software security through the lens of formal verification,” in Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering , 2023, pp. 33–43
2023
Closest in time.
A. Niemetz and M. Preiner, “Bitwuzla,” in Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II , ser. Lecture Notes in Computer Science, C. Enea and A. Lal, Eds., vol. 13965. Springer, 2023, pp. 3–17. [Online]. Available: https://doi.org/10.1007/978-3-031-37703-7_1
2023
Closest in time.
2023
Closest in time.
P. Mahbub, O. Shuvo, and M. M. Rahman, “Explaining software bugs leveraging code structures in neural machine translation,” in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 2023, pp. 640–652
2023
Closest in time.
N. Ito, M. Hashimoto, and A. Otsuka, “Feature extraction methods for binary code similarity detection using neural machine translation models,” IEEE Access , 2023
2023
Closest in time.
2023
Closest in time.
Z. Li, Z. Liu, W. K. Wong, P. Ma, and S. Wang, “Evaluating c/c++ vulnerability detectability of query-based static application security testing tools,” IEEE Transactions on Dependable and Secure Computing , 2024
2024
Closest in time.
2024
Closest in time.
R. S. Menezes, M. Aldughaim, B. Farias, X. Li, E. Manino, F. Shmarov, K. Song, F. Brauße, M. R. Gadelha, N. Tihanyi, K. Korovin, and L. C. Cordeiro, “ESBMC v7.4: Harnessing the power of intervals - (competition contribution),” in Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , ser. LNCS, vol. 14572. Springer, 2024, pp. 376–380
2024
Closest in time.
N. Nehorai, “Analyzing common vulnerabilities introduced by code-generative ai | hackernoon,” 2024. [Online]. Available: https://hackernoon.com/analyzing-common-vulnerabilities-introduced-by-code-generative-ai
2024
Closest in time.