fraunhofer-aisec Goto Github PK

.github

a3

Inspired by recent advances in coverage-guided analysis of neural networks, we propose a novel anomaly detection method. We show that the hidden activation values contain information useful to distinguish between normal and anomalous samples. Our approach combines three neural networks in a purely data-driven end-to-end model. Based on the activation values in the target network, the alarm network decides if the given sample is normal. Thanks to the anomaly network, our method even works in strict semi-supervised settings. Strong anomaly detection results are achieved on common data sets surpassing current baseline methods. Our semi-supervised anomaly detection method allows to inspect large amounts of data for anomalies across various applications.

android-deprecation-detective

Extracts a list of all (non-)deprecated classes and methods from android sdks

annotary-sublime-plugin

Sublime Text Plugin for the Annotary Smart Contract Verification Tool

apparecium

Static Data Flow Tracking on Smali

archie

ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and data faults in RAM, flash, and processor registers.

archie-qemu

argue

Anomaly Detection by Recombining Gated Unsupervised Experts

avus

Lightweight tool for re-prioritizing vulnerability findings

blerouter

c_oscore

OSCORE Implementation in C

cache-leak-detector

Instruction cache leakage detection tool for modular exponentation software.

cmc

The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms in the International Data Spaces (IDS).

cococom

codyze

Codyze is a static analyzer for Java, C, C++ based on code property graphs

codyze-action

codyze-eclipse-plugin

Eclipse LSP adapter for the Codyze static code analyzer

codyze-mark-eclipse-plugin

Eclipse plugin and syntax parser for MARK policy files for the Codyze static code analyzer.

codyze-vs-plugin

Visual Studio plugin for Codyze, the source code analyzer

condroid

Concolic execution of Android apps

cpg

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

cpg-contrib

cpg-go-ast

A cgo wrapper for go's ast package. Part of the code property graph project.

cpg-neo4j

Neo4J visualisation tool for the Code Property Graph

cryptsan

cryptsan-llvm-project

d3-package-dependency

Visualization of Java package dependencies in OSGi environments using D3/Hierarchical Edge Bundling

da3d

Double-Adversarial Activation Anomaly Detection

data

Differential Address Trace Analysis

dataspaceconnector

DataspaceConnector project