@inproceedings{e9a091c8ccc54a36a68b48ec715ccc4a,
title = "DepthStAr: Deep Strange Arguments Detection",
abstract = "We present a tool for detecting a new type of bad smell in software code and describe how it was used to find critical security bugs, some of which exist in Linux code for many years and are still present in current distributions. Our tool applies state-of-the-art formal methods and static analysis techniques to scan the execution paths of programs. In this scan, the tool detects conditions that may lead to calling certain functions with strange combinations of arguments, called Abnormal Argument Case (AAC) in this paper. These conditions are presented to the developers as they often point at potential bugs and security vulnerabilities. The paper explains how the tool works and describes an empirical evaluation of its performance.",
author = "Michael Berlin and Oded Margalit and Gera Weiss",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 5th International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2021 ; Conference date: 08-07-2021 Through 09-07-2021",
year = "2021",
month = jan,
day = "1",
doi = "10.1007/978-3-030-78086-9_5",
language = "American English",
isbn = "9783030780852",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "71--85",
editor = "Shlomi Dolev and Oded Margalit and Benny Pinkas and Alexander Schwarzmann",
booktitle = "Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings",
address = "Germany",
}