A Smart and Defensive Human-Machine Approach to Code Analysis

08/06/2021
by   Fitzroy D. Nembhard, et al.
0

Static analysis remains one of the most popular approaches for detecting and correcting poor or vulnerable program code. It involves the examination of code listings, test results, or other documentation to identify errors, violations of development standards, or other problems, with the ultimate goal of fixing these errors so that systems and software are as secure as possible. There exists a plethora of static analysis tools, which makes it challenging for businesses and programmers to select a tool to analyze their program code. It is imperative to find ways to improve code analysis so that it can be employed by cyber defenders to mitigate security risks. In this research, we propose a method that employs the use of virtual assistants to work with programmers to ensure that software are as safe as possible in order to protect safety-critical systems from data breaches and other attacks. The pro- posed method employs a recommender system that uses various metrics to help programmers select the most appropriate code analysis tool for their project and guides them through the analysis process. The system further tracks the user's behavior regarding the adoption of the recommended practices.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/07/2021

Conversational Code Analysis: The Future of Secure Coding

The area of software development and secure coding can benefit significa...
research
09/10/2020

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

Static program analysis tools are often required to work with only a sma...
research
01/29/2022

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software

Autonomous and Robotics Systems (ARSs) are widespread, complex, and incr...
research
06/28/2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis

Bounded model checking (BMC) and fuzzing techniques are among the most e...
research
03/25/2022

C to Checked C by 3C

Owing to the continued use of C (and C++), spatial safety violations (e....
research
02/11/2021

An Inquisitive Code Editor for Addressing Novice Programmers' Misconceptions of Program Behavior

Novice programmers face numerous barriers while attempting to learn how ...
research
02/19/2023

Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?

Cyber-physical systems, such as learning robots and other autonomous sys...

Please sign up or login with your details

Forgot password? Click here to reset