+
Skip to content
View joannacss's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Organizations

@SoftwareDesignLab @s2e-lab

Block or report joannacss

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Gather and update all available and newest CVEs with their PoC.

HTML 7,280 921 Updated Oct 20, 2025

NaturalCodeBench (Findings of ACL 2024)

Python 67 3 Updated Oct 14, 2024

Phosphor: Dynamic Taint Tracking for the JVM

Java 179 76 Updated Jun 17, 2025

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

723 93 Updated Jul 9, 2024

This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the patch onto a PDG.

Jupyter Notebook 11 8 Updated Jul 28, 2025

Large Language Models for Software Engineering

Python 249 22 Updated Jul 24, 2025

[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.

2,969 193 Updated Oct 15, 2025

A Python pickling decompiler and static analyzer

Python 566 62 Updated Oct 20, 2025

Must-read Papers on Knowledge Editing for Large Language Models.

1,180 81 Updated Jul 12, 2025

📝 A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

Python 11,684 1,977 Updated Jan 6, 2025

A tool for call graph comparisons

Java 7 2 Updated Sep 27, 2023

Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.

249 20 Updated Mar 19, 2024

LLM hallucination paper list

323 23 Updated Mar 11, 2024

Inference code for CodeLlama models

Python 16,367 1,936 Updated Aug 12, 2024

Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

Python 17,159 2,820 Updated Dec 18, 2024

How to build a jupyter book from scratch

43 12 Updated Jan 14, 2021

PaL: Program-Aided Language Models (ICML 2023)

Python 511 64 Updated Jun 30, 2023

StaQC: a systematically mined dataset containing around 148K Python and 120K SQL domain question-code pairs, as described in "StaQC: A Systematically Mined Question-Code Dataset from Stack Overflow…

Python 171 28 Updated Aug 28, 2021

Java bindings for tree-sitter

C++ 128 36 Updated Dec 6, 2023

LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

TeX 277 76 Updated Dec 7, 2023
Dockerfile 2 1 Updated May 26, 2022

Magic to display dynamic call graphs of Python function calls

Python 79 8 Updated Oct 21, 2021

Ultimate DevSecOps library

6,439 1,115 Updated Jul 17, 2025

Examples of autograders for running on Gradescope

Java 88 177 Updated Jan 15, 2025

Securibench Micro is a benchmark for static analysis tools for security.

Java 26 24 Updated Jul 26, 2018

Deadline countdowns for academic conferences in Security and Privacy

HTML 766 291 Updated Oct 20, 2025

PHPGGC is a library of PHP unserialize() payloads along with a tool to generate them, from command line or programmatically.

PHP 3,616 531 Updated Sep 29, 2025

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

Markdown 1,039 111 Updated Sep 29, 2025

C/C++ Source-to-Source Tool based on Clang

Java 81 11 Updated Oct 6, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载