GithubHelp home page GithubHelp logo

Kaixuan Li's Projects

lodepng icon lodepng

PNG encoder and decoder in C and C++.

nft-attack-vectors icon nft-attack-vectors

This Repository contains list of Common NFT Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.

openjpeg icon openjpeg

Official repository of the OpenJPEG project

oss-fuzz icon oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

owaspwebgoatphp icon owaspwebgoatphp

A deliberately vulnerable web application for learning web application security.

patchfinder icon patchfinder

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)

patchscout icon patchscout

Reproduce the baseline named PatchScout which is a model published on CCS'21

pg_query icon pg_query

Ruby extension to parse, deparse and normalize SQL queries using the PostgreSQL query parser

rlrep icon rlrep

A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their contexts. The source code and dataset are opened.

scorecard icon scorecard

Security Scorecards - Security health metrics for Open Source

slither icon slither

Static Analyzer for Solidity and Vyper

smartbugs icon smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

smartbugs-curated icon smartbugs-curated

SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.

smartbugs-results icon smartbugs-results

This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented and discussed in Durieux et al. (ICSE 2020)

solidity icon solidity

Solidity, the Smart Contract Programming Language

solidity-patterns icon solidity-patterns

A compilation of patterns and best practices for the smart contract programming language Solidity

spotbugs icon spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

tree-of-thought-llm icon tree-of-thought-llm

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

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.