Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,274,416 papers from all fields of science
Search
Sign In
Create Free Account
List of tools for static code analysis
This is a list of tools for static code analysis.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
.NET Compiler Platform
Android
Automated code review
Best coding practices
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Using Machine Learning Techniques to Improve Static Code Analysis Tools Usefulness
Enas A. Alikhashashneh
2019
Corpus ID: 202774071
Review
2018
Review
2018
Source Code Patterns of Buffer Overflow Vulnerabilities in Firefox
Felix Schuckert
,
M. Hildner
,
Basel Katt
,
Hanno Langweg
Sicherheit
2018
Corpus ID: 4950860
We investigated 50 randomly selected buffer overflow vulnerabilities in Firefox. The source code of these vulnerabilities and the…
Expand
2017
2017
Static Code Analyzer Source Code Bug Reports Reduced Code Learning from Code Preprocessing False Positive Report Filter Code Patterns Labeling Reports Code Reduction In Out
Ugur Koc
,
Parsa Saadatpanah
,
J. S. Foster
,
Adam A. Porter
2017
Corpus ID: 268079008
The large scale and high complexity of modern software systems make perfectly precise static code analysis (SCA) infeasible…
Expand
2016
2016
Evaluating the ability of static code analysis tools to detect injection vulnerabilities
A. Ramos
2016
Corpus ID: 63321250
Identifying and eliminating security vulnerabilities in programs can be very time consuming. A way to automate and speed up the…
Expand
2016
2016
Extending Rule Set for Static Code Analysis in .NET Platform
J. Ceponis
,
Algimantas Venčkauskas
,
Lina Čeponienė
,
Andrius Zonys
Information Technology and Control
2016
Corpus ID: 20094401
This paper focuses on static code analysis tools for .NET platform. Static code analysis tools typically use a certain set of…
Expand
Review
2016
Review
2016
Static Code Analysis Tools: Effects on Development of Open Source Software
B. V. Graafeiland
2016
Corpus ID: 67468872
Nowadays, many different tools to perform static analysis on software (ASATs) are available. These can be used as standalone…
Expand
2014
2014
Towards modeling the behavior of static code analysis tools
Lakshmi Manohar Rao Velicheti
,
Dennis C. Feiock
,
M. Peiris
,
R. Raje
,
James H. Hill
CISR '14
2014
Corpus ID: 4943724
This paper presents preliminary results of an independent study to assess the performance of a static code analysis (SCA) tool's…
Expand
2014
2014
SMPLearner: learning to predict software maintainability
W. Zhang
,
LiGuo Huang
,
Vincent Ng
,
Jidong Ge
International Conference on Automated Software…
2014
Corpus ID: 254258346
Accurate and practical software maintainability prediction enables organizations to effectively manage their maintenance…
Expand
2000
2000
Specification and Formal Analysis of a PLAN Algorithm in Maude
Bow-Yaw Wang
,
J. Meseguer
,
Carl A. Gunter
ICDCS Workshop on Distributed System Validation…
2000
Corpus ID: 1581245
Rewriting logic can be used as a semantic framework to model next-generation networks and algorithms such as those of active…
Expand
1999
1999
Software Design Using CRC Cards
1999
Corpus ID: 8990731
The software development process involves requirements gathering, software design, implementation and testing. The typical…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE