CASTLE Benchmark
CASTLE-Benchmark
The CASTLE Benchmark is an automated micro-benchmark suite to evaluate the comparative effectiveness of Static Code Analyzer applications at detecting CWEs.
FormAI Dataset
FormAI-Dataset
FormAI dataset is a large collection of AI-generated compilable C programs with vulnerability classification. The current release, v2, contains 331,000 samples.
Monica Marcus
monicamarcus
Android programmer interested in formal verification of C++ code. @lucasccordeiro @ilg-ul @kunjsong01
Charlotte, NC
Bruno Savino
bjsavino
I'm a C# backend developer studying frontend with reactjs
BJSavino Consultoria Brazil
Vanderson Rocha
vanderson-rocha
IT Analist at Federal University of Amazonas (UFAM); BSc in Computer Science; MSc in Informatic; Machine Learning, Data Science, Data Mining
Manaus - AM - Brazil
Robert (Jamie) Munro
rjmunro
Web developer with over 20 years experience in the field. Formerly at @diffblue, @whiteoctober and @Focusrite-Novation
Oxford, UK
Genaina
Genaina
Genaina Rodrigues is an associate professor in the Department of Computer Science at the University of Brasília.
University of Brasilia Brasilia, Brazil.
PreviousNext