Coder Social home page Coder Social 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

andersen icon andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

ares icon ares

API Related Error Specification Inference

argyi icon argyi

A tool for automatic C integer error fixing

authcheck icon authcheck

Analysis for access-control vulnerabilities in Java Spring Security applications.

awesome-code-llm icon awesome-code-llm

A curated list of language modeling researches for code and related datasets.

awesome-ocaml icon awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

awesome-symbolic-execution icon awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

beacon_artifact icon beacon_artifact

Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"

bigdataflow icon bigdataflow

A distributed dataflow analysis framework supporting the general interprocedural dataflow analysis

bilibili-plus icon bilibili-plus

课程视频、PPT和源代码：侯捷C++系列；台大郭彦甫MATLAB

blog icon blog

:bookmark: 个人博客仓库，用于记录一些幼稚的想法和脑残的瞬间，欢迎 star、watch，该仓库为个人博客，请不要提 issue ，该仓库后端参考了 @yihong0618 的 gitblog 项目，前端参考了@LoeiFy 的 Mirror 项目，感谢！

build-interceptor icon build-interceptor

Build Interceptor is a collection of scripts for recording the .i files generated during a build of C or C++ programs with the gcc toolchain. No modification to the original build process is necessary.

burstartifactevaluation icon burstartifactevaluation

Artifact Evaluation for Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

bytecodedl icon bytecodedl

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

c2boolean icon c2boolean

Translation from C program to Boolean program

canal icon canal

Abstract interpreter for real-world application programs

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.