Git Product home page Git Product 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

thresher icon thresher

Static heap reachability analysis for Java bytecode and Android memory leak finder.

tinylr icon tinylr

a tiny lalr and glr generator that can generate json ast

tip-spa icon tip-spa

Static Program Analysis based on The TIP Language using Java language

tipc icon tipc

A compiler from TIP to llvm bitcode

tis-interpreter icon tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

titan icon titan

Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"

tpa icon tpa

Pointer Analysis with Tunable Precision

tripledoggy icon tripledoggy

基于clang static analyzer的源码漏洞检测插件

ts-llvm icon ts-llvm

TypeScript to LLVM compiler (abandoned)

tsmartgp icon tsmartgp

TsmartGP is a static analysis tool for finding memory defects with pointer analysis.

tsmartlw icon tsmartlw

TsmartLW is a static analysis tool with optimizations for reachability determination.

tvla icon tvla

3-Valued Logic Analyzer

ucas-course icon ucas-course

**科学院大学研一课程教材课件共享项目University of Chinese Academy of Sciences postgraduate course textbook sharing project

ultimate icon ultimate

The Ultimate program analysis framework.

vbsac icon vbsac

a value-based static analyzer for c code bug detection

visualdfa icon visualdfa

VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.

watts icon watts

Thread-modular abstract interpreter

weggli icon weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

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.