luisamaralh Goto Github PK

android-cg

This simple program computes a call graph from an Android app. The main idea here is to compute the distances between the entry points and the calls to sensitive APIs.

az

Downloads apks from androzoo repository https://androzoo.uni.lu/

bitcoinj

A library for working with Bitcoin

co-change-dependencies

Investigating whether co-change dependencies introduce bugs

conflictsanalyzer

cryptoanalysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

cryptoanalysis-android

CogniCrypt_SAST Extension to Analyze Android Applications

cryptoguard

cryptosastrunner

featurehouse

language independent software composition and merging

gitminer

Java based tools for extracting information from GitHub and git repositories into a graph database

howbugsareborn

Reproducibility data.

icsme2020-replication-package

How (Not) to Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, and Bugs

jfstmerge

Semistructured merge tool for java applications.

jfuzzer

A case study of a fuzzer in the Java Language

ma-szz

ma-szz implementation for svn repositories

metacrysl-dataset

A dataset with the CrySL rules used to evaluate Meta-CrySL

oberon-lang

An implementation of the OBERON-0 Language in C++

onlineappendix

puc_app

ra-szz

refactoring-aware SZZ (RA-SZZ) Implementation

rustlang

scriptsmsr

some basic scripts for mining software repositories

sle-course

A Software Language Engineering Course using Rascal-MPL

svfa-scala

An implementation of sparse-value flow analysis on top of soot (using Scala)

szzunleashed

An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.