Abstract:The main stretch in the paper is buffer overflow anomaly occurring in major source codes, designed in various programming language. It describes the various as to how to improve your code and increase its strength to withstand security theft occurring at vulnerable areas in the code. The main language used is JAVA, regarded as one of the most object oriented language still create lot of error like stack overflow, illegal/inappropriate method overriding. I used tools confined to JAVA to test as how weak points in the code can be rectified before compiled. The byte code theft is difficult to be conquered, so it's a better to get rid of it in the plain java code itself. The tools used in the research are PMD(Programming mistake detector), it helps to detect line of code that make pop out error in near future like defect in hashcode(memory maps) overriding due to which the java code will not function correctly. Another tool is FindBUGS which provide the tester of the code to analyze the weak points in the code like infinite loop, unsynchronized wait, deadlock situation, null referring and dereferencing. Another tool which provides the base to above tools is JaCoCo code coverage analysis used to detect unreachable part and unused conditions of the code which improves the space complexity and helps in easy clarification of errors. Through this paper, we design an algorithm to prevent the loss of data. The main audience is the white box tester who might leave out essential line of code like, index variables, infinite loop, and inappropriate hashcode in the major source program. This algorithm serves to reduce the damage in case of buffer overflow

A Full Automatic Detection Method for Security Policy of JVM Run-Time Library

Research on security extensions based on Java 2 security architecture

Security Policy for Information Erasing and Leaking in Multithreaded Codes

Supporting secure programming in web applications through interactive static analysis.

Security policy testing via automated program code generation

Mitigating Access Control Vulnerabilities through Interactive Static Analysis.

A Static Method for Detection of Information Theft Malware

Dynamic Code Analysis and Its Implementation in Interpreted Languages

LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

A Multi-Compositional Enforcement on Information Flow Security

Secure Information Flow in Java Via Reachability Analysis of Pushdown System

Automatic Model Generation from Documentation for Java API Functions

Implicit-Flow-Sensitive Method for Detection of Trojan-Spy Programs

Checking security compliance between models and code

A Hybrid Approach to Detecting Security Defects in Programs

Research and Implementation of Security Vulnerability Detection in Application System of WEB Static Source Code Analysis Based on JAVA

Software Security analysis, static and dynamic testing in java and C environment, a comparative study

Generating Stack-based Access Control Policies

Checking Method of Large-scale Concurrent Program Model

Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code

Ontology Model-Based Static Analysis on Java Programs