Pinned Repositories
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.
DataStructureAndAlgorithms
Write code that run faster, use less memory and prepare for your Job Interview
Facebook-Infer-Evaluation
The goal of this work is to evaluate the quality of Facebook Infer on Juliet test suite test cases!
javaparser
Java 1-14 Parser and Abstract Syntax Tree for Java, including preview features to Java 13 –
katalin
this includes katalin checker
pmd
An extensible multilanguage static code analyzer.
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.
Static-analysis-tools
This repository contains Technical report related to the paper entitled "Detecting security vulnerabilities with static analysis - a case study"
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".
Midya-ELTE's Repositories
Midya-ELTE/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".
Midya-ELTE/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.
Midya-ELTE/DataStructureAndAlgorithms
Write code that run faster, use less memory and prepare for your Job Interview
Midya-ELTE/Facebook-Infer-Evaluation
The goal of this work is to evaluate the quality of Facebook Infer on Juliet test suite test cases!
Midya-ELTE/javaparser
Java 1-14 Parser and Abstract Syntax Tree for Java, including preview features to Java 13 –
Midya-ELTE/katalin
this includes katalin checker
Midya-ELTE/pmd
An extensible multilanguage static code analyzer.
Midya-ELTE/Running-FindHidingMethod-checker-on-real-world-software
This repository contains the analysis reports of running the FindHidingMethod checker on some real-world software
Midya-ELTE/spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Midya-ELTE/Static-analysis-tools
This repository contains Technical report related to the paper entitled "Detecting security vulnerabilities with static analysis - a case study"