Alqaradaghi Midya's repositories
Technical_Report_of_NullPointerDereference_Analysis
This repository contains four technical reports related to the paper titled "Inferring the Best Static Analysis Tool for Null Pointer Dereference in Java Source Code".
Running-FindHidingMethod-checker-on-real-world-software
This repository contains the analysis reports of running the FindHidingMethod checker on some real-world software
spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
katalin
this includes katalin checker
Facebook-Infer-Evaluation
The goal of this work is to evaluate the quality of Facebook Infer on Juliet test suite test cases!
DataStructureAndAlgorithms
Write code that run faster, use less memory and prepare for your Job Interview
Static-analysis-tools
This repository contains Technical report related to the paper entitled "Detecting security vulnerabilities with static analysis - a case study"
checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
javaparser
Java 1-14 Parser and Abstract Syntax Tree for Java, including preview features to Java 13 –
pmd
An extensible multilanguage static code analyzer.