tum-i4 / deadlines
Deadline countdowns for academic conferences relevant to the SSE chair.
☆11Updated last week
Related projects ⓘ
Alternatives and complementary repositories for deadlines
- ☆13Updated this week
- ☆25Updated 3 years ago
- A vulnerability patch gathering tool☆40Updated 5 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆68Updated 2 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆18Updated 2 months ago
- ☆23Updated 3 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆33Updated 2 years ago
- An external project example using SVF as a library☆19Updated last month
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆27Updated 10 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆56Updated 8 months ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- ☆18Updated 3 years ago
- ☆55Updated 11 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- User Guided API Misuse Detection☆27Updated last year
- ☆16Updated 5 years ago
- ☆75Updated last year
- ☆22Updated last year
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆11Updated 3 weeks ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆18Updated 3 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆32Updated 8 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- ☆13Updated last year