GithubHelp home page GithubHelp logo 
....................................................................................
....................................................................................
.................................000000000000000000000..............................
.............................000000000000000000000000000............................
..........................0000000000000000000000000000000000........................
..........0000......0000000000000000000000000000000000000000000.....................
..........000000000000000000000000000000000000000000000000000000....................
..........00000000000000000000000000000000000000000000000000000000..................
............00000000000000000000000000000000000000000000000000000000................
..............0000000000000000000000000000000000000000000000000000000...............
..............0000000000000000000000000000000000000000000000000000000...............
............0000000000000000000000000000000000000000000000000000000000..............
............0000000000000000000000000000.00000000000000000000000000000..............
..........000000000000000000000000000000.0000000000000000000000000000000............
..........00000000000000000000000..00000.0000000000000000000000000000000............
.........00000000000000000000000...00000.0000000000000000000000000000000............
......00000000000000000..0000000.....000....0000000000000000000000000000............
.0000000000000000000000..0000000.....00000000000000000000000000000000000............
..000000000000000000000..0000000...00000.......0000000000000000000000000............
......000000000000000000...00000000..0000000000..0000000000..00...0000..............
..........0000000000000.00...000000000..000000.00..00000000.0..0..0000..............
..........000000000000000000...0...00..0000000.....000000000...0..0000..............
..........0000000000000000000.........000000000.....00000.00...0..000...............
..........00000000...0000000........................00000....00...000...............
..........00000000..000000..........................00000...0...00000...............
.........00000000000................................00.......00000000...............
.......000..000000000...............................00......000000000...............
..............0.00000......00...............................000000000...............
..............0..000000.....00000.........................000000000.................
....................0000................000.............000..000....................
.......................0......0000000000...............00......0....................
........................00............................0........0....................
............................0......................0............00..................
.............................0...................00...............00................
..............................00...............00.................00................
................................000..........00...................00000.............
...................................000000000....................00......000.........
.........................................00....................0...........000......
.........................................00..................00...............0000..
......................................00.00...............00........................
.....................................0...00............000..........................
...................................00......000000000000.............................

canliture's Projects

slot icon slot

SLOT: SMT-LLVM Optimizing Translation

soot icon soot

Soot - A Java optimization framework

soottest icon soottest

Use Soot to generate call graphs and inter-procedure control flow graphs

soottutorial icon soottutorial

A step-by-step tutorial for Soot (a Java static analysis framework)

sootup icon sootup

A new version of Soot with a completely overhauled architecture

sparrow-cg icon sparrow-cg

A static analyzer for building callgraphs of C/C++ programs

sparta icon sparta

SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

spds icon spds

Efficient and Precise Pointer-Tracking Data-Flow Framework

spoon icon spoon

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

springbootvulexploit icon springbootvulexploit

SpringBoot 相关漏洞学习资料，利用方法和技巧合集，黑盒安全评估 check list

ssm icon ssm

手把手教你整合最优雅SSM框架：SpringMVC + Spring + MyBatis

stack icon stack

A static checker for identifying unstable code.

survey-symbolic-execution icon survey-symbolic-execution

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

suture icon suture

Precise and high-order static points-to/taint analysis based on LLVM IR.

svf icon svf

Static Value-Flow Analysis Framework for Source Code

svfa-scala icon svfa-scala

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

syllabus icon syllabus

COP-5021 Program Analysis Spring 2020 at UCF

symbiotic icon symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.