This report provides a preliminary functional description of a novel software application, the Source Code Assurance Tool, which would assist a system analyst in the software assessment process. An overview is given of the tool's functionality and design; and how the analyst would use it to assess a body of source code. This work was done as part of a Laboratory Directed Research and Development project
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
The validation of static program analysis tools is an extremely hard and time consuming process sinc...
Software users have become more conscious of security. More people have access to Internet and huge ...
We present the tool we built as part of a Laboratory Directed Research and Development (LDRD) projec...
Abstract- Source code analysis is technology aimed at locating and describing different tokens, clas...
Abstract — In this paper two intensive problems faced during software application’s analysis and dev...
<p>The Source Code Analysis Laboratory (SCALe) is a proof-of-concept demonstration that software sys...
This paper describes an application of software quality assurance to a specific scientific code deve...
Abstract Many teams at CERN, develop their own software to solve their tasks. This software may be...
This report covers background information about software testing and vulnera- bility analysis. Th...
Software assurance refers to the justified confidence that software functions as intended and is fre...
This report identifies and describes the current state of the practice in software assurance measure...
Constructing code analyzers may be costly and error prone if inadequate technologies and tools are u...
The Computer Safety and Reliability Group at Lawrence Livermore National Laboratory (LLNL) is resear...
Computer program analysis refers to the automatic analysis of the behavior of a user defined program...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
The validation of static program analysis tools is an extremely hard and time consuming process sinc...
Software users have become more conscious of security. More people have access to Internet and huge ...
We present the tool we built as part of a Laboratory Directed Research and Development (LDRD) projec...
Abstract- Source code analysis is technology aimed at locating and describing different tokens, clas...
Abstract — In this paper two intensive problems faced during software application’s analysis and dev...
<p>The Source Code Analysis Laboratory (SCALe) is a proof-of-concept demonstration that software sys...
This paper describes an application of software quality assurance to a specific scientific code deve...
Abstract Many teams at CERN, develop their own software to solve their tasks. This software may be...
This report covers background information about software testing and vulnera- bility analysis. Th...
Software assurance refers to the justified confidence that software functions as intended and is fre...
This report identifies and describes the current state of the practice in software assurance measure...
Constructing code analyzers may be costly and error prone if inadequate technologies and tools are u...
The Computer Safety and Reliability Group at Lawrence Livermore National Laboratory (LLNL) is resear...
Computer program analysis refers to the automatic analysis of the behavior of a user defined program...
Capturing the quality of software and detecting sections for further scrutiny within are of high int...
The validation of static program analysis tools is an extremely hard and time consuming process sinc...
Software users have become more conscious of security. More people have access to Internet and huge ...