Beast code in Giters

MagicKitty's repositories

appshark

Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.

Language:KotlinApache-2.0010

awesome-cs-books

经典编程书籍大全，涵盖：计算机系统与网络、系统架构、算法与数据结构、前端开发、后端开发、移动开发、数据库、测试、项目与团队、程序员职业修炼、求职面试等

020

awesome-java

A curated list of awesome frameworks, libraries and software for the Java programming language.

NOASSERTION000

awesome-test-automation

A curated list of awesome test automation frameworks, tools, libraries, and software for different programming languages. Sponsored by http://sdclabs.com

020

boogie

Boogie

MIT000

dependency-track

Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.

Apache-2.0000

DependencyCheck

OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.

Apache-2.0000

find-sec-bugs

The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

LGPL-3.0000

FlowDroid

FlowDroid Static Data Flow Tracker

LGPL-2.1000

heros

IFDS/IDE Solver for Soot and other frameworks

Language:JavaLGPL-2.1010

How-To-Secure-A-Linux-Server

An evolving how-to guide for securing a Linux server.

CC-BY-SA-4.0000

java-sec-code

Java web common vulnerabilities and security code which is base on springboot and spring security

000

jayhorn

Static checker for Java

MIT000

license-manager

Java library for generation and validation of software licenses (forked from OddSource/java-license-manager).

Apache-2.0000

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

NOASSERTION000

MagpieBridge

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

EPL-2.0000

phasar

A LLVM-based static analysis framework.

Language:C++NOASSERTION010

pmd

An extensible multilanguage static code analyzer.

Language:JavaNOASSERTION010

secucheck

Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

MIT000