Cover Image

Evaluating Cryptographic API Misuse Detectors for Go

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andersson, Vivi, Monperrus, Martin
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Software Engineering D.2.4; D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Vulnerability Detection Using Deep Learning Technique
by: Yang, Guan-Yan, et al.
Published: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
by: Gridin, Iaroslav, et al.
Published: (2024)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
by: Yu, Boxi, et al.
Published: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
by: Sharmin, Shaila, et al.
Published: (2025)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
by: Murali, Aniruddhan, et al.
Published: (2024)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
by: Licorish, Sherlock A., et al.
Published: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
by: Yao, Zhiyi
Published: (2026)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
by: Feng, Kai, et al.
Published: (2025)

LSPFuzz: Hunting Bugs in Language Servers
by: Zhu, Hengcheng, et al.
Published: (2025)

Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
by: Blackwell, Daniel, et al.
Published: (2023)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
by: Peng, Chenyang, et al.
Published: (2025)

LLM Based Input Space Partitioning Testing for Library APIs
by: Li, Jiageng, et al.
Published: (2024)

An Empirical Study of Fuzz Harness Degradation
by: Görz, Philipp, et al.
Published: (2025)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
by: Lucio, Levi
Published: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

A Survey of Protocol Fuzzing
by: Zhang, Xiaohan, et al.
Published: (2024)

Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
by: Licorish, Sherlock A., et al.
Published: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)

Path-optimal symbolic execution of heap-manipulating programs
by: Braione, Pietro, et al.
Published: (2024)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
by: Chen, Jiachi, et al.
Published: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
by: Churilov, Aleksandr
Published: (2026)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
by: Koc, Vincent, et al.
Published: (2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

A Match Made in Heaven? AI-driven Matching of Vulnerabilities and Security Unit Tests
by: Iannone, Emanuele, et al.
Published: (2025)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)