Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,617,802 papers from all fields of science
Search
Sign In
Create Free Account
Automated code review
Known as:
Code analyzer
, List of automated code review tools
Automated code review software checks source code for compliance with a predefined set of rules or best practices. The use of analytical methods to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Code reviewing software
Eclipse
Imagix 4D
List of tools for static code analysis
Expand
Broader (1)
Software review
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Binary CFG Rebuilt of Self-Modifying Codes
Mizuhito Ogawa
2016
Corpus ID: 5122628
Abstract : Modern malware extensively applies self-modifying obfuscation techniques, e.g., self-decryption and mutation, which…
Expand
2016
2016
Mistakes Are Proof That You Are Trying: On Verifying Software Encoding Schemes' Resistance to Fault Injection Attacks
J. Breier
,
Dirmanto Jap
,
S. Bhasin
IACR Cryptology ePrint Archive
2016
Corpus ID: 18407787
Software encoding countermeasures are becoming increasingly popular among researchers proposing code-level prevention against…
Expand
Review
2012
Review
2012
Automating Code Reviews with Simulink Code Inspector
M. Conrad
,
T. Erkkinen
,
+6 authors
Jun Yan
Model-Based Development of Embedded Systems
2012
Corpus ID: 18092129
Safety standards such as DO-178B require source code reviews. Given the maturity of today‟s code generators, the effectiveness of…
Expand
2006
2006
A Systematic Approach for Application Migration in a Grid Computing Environment
Anirban Chakrabarti
,
Shubhashis Sengupta
,
Adarsh Kailash Upadhyay
,
A. Damodaran
IEEE Asia-Pacific Services Computing Conference
2006
Corpus ID: 15179330
Enterprises are looking at grid computing as a technology of enormous potential. One such issue is the issue of grid application…
Expand
2006
2006
Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking
Liang Xin
,
Ogawa Mizuhito
2006
Corpus ID: 14716407
Based on the observation that “program analysis is abstraction plus model checking”, this paper investigates pushdown model…
Expand
Review
2004
Review
2004
From Patterns to Components : The Visitor Library
Karine Arnout
,
B. Meyer
2004
Corpus ID: 15146815
To what extent can design patterns be turned into reusable, off-the-shelf components, taking advantage of advanced language…
Expand
1991
1991
Numerical Algorithms Group NAGWare F77 Tools Evaluation
T. L. Lam
1991
Corpus ID: 59917410
A night vision goggle system comprising a housing, an optical system accommodated therein and including a pair of eyepiece…
Expand
1988
1988
The coming of age of the interactive code analyzer
R. Phillips
1988
Corpus ID: 63622595
1982
1982
The FORTRAN static source code analyzer program (SAP) user's guide, revision 1
W. Decker
,
W. Taylor
,
S. Eslinger
1982
Corpus ID: 58791875
The FORTRAN Static Source Code Analyzer Program (SAP) User's Guide (Revision 1) is presented. SAP is a software tool designed to…
Expand
1982
1982
The FORTRAN static source code analyzer program (SAP) system description
W. Decker
,
W. Taylor
,
P. Merwarth
,
M. Oneill
,
C. Goorevich
,
S. Waligora
1982
Corpus ID: 60348576
A source code analyzer program (SAP) designed to assist personnel in conducting studies of FORTRAN programs is described. The SAP…
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