Copertina

A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dossche, Niels, Abrath, Bert, Coppens, Bart
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
di: Huang, Huihui, et al.
Pubblicazione: (2026)

A Static Analysis of Popular C Packages in Linux
di: Ruohonen, Jukka, et al.
Pubblicazione: (2024)

Toward an Android Static Analysis Approach for Data Protection
di: Khedkar, Mugdha, et al.
Pubblicazione: (2024)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2024)

CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection
di: Chen, Xiao
Pubblicazione: (2024)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
di: Marquer, Yoann, et al.
Pubblicazione: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts
di: Basak, Setu Kumar, et al.
Pubblicazione: (2024)

LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices
di: Xiang, Jiahui, et al.
Pubblicazione: (2024)

LLM-Driven Adaptive Source-Sink Identification and False Positive Mitigation for Static Analysis
di: Lin, Shiyin
Pubblicazione: (2025)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
di: Cheng, Yiran, et al.
Pubblicazione: (2024)

FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing
di: Murali, Aniruddhan, et al.
Pubblicazione: (2024)

CrossCommitVuln-Bench: A Dataset of Multi-Commit Python Vulnerabilities Invisible to Per-Commit Static Analysis
di: Majumdar, Arunabh
Pubblicazione: (2026)

"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
di: Ami, Amit Seal, et al.
Pubblicazione: (2023)

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
di: Ma, Chengyan, et al.
Pubblicazione: (2025)

Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules
di: Wang, Fuwei, et al.
Pubblicazione: (2024)

ROSA: Finding Backdoors with Fuzzing
di: Kokkonis, Dimitri, et al.
Pubblicazione: (2025)

Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for Security
di: Hermann, Kevin, et al.
Pubblicazione: (2026)

Finding Privacy-relevant Source Code
di: Tang, Feiyang, et al.
Pubblicazione: (2024)

An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem
di: Li, Xingyu, et al.
Pubblicazione: (2024)

QASecClaw: A Multi-Agent LLM Approach for False Positive Reduction in Static Application Security Testing
di: Ameen, Mohd Ruhul, et al.
Pubblicazione: (2026)

Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
di: Xia, Yifan, et al.
Pubblicazione: (2023)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
di: Dai, Han, et al.
Pubblicazione: (2026)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
di: Wang, Yishun, et al.
Pubblicazione: (2026)

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
di: Li, Yikun, et al.
Pubblicazione: (2026)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
di: Okafor, Chinenye, et al.
Pubblicazione: (2024)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
di: Landeck, Yannick, et al.
Pubblicazione: (2026)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
di: Hattori, Joe, et al.
Pubblicazione: (2026)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Static Security Vulnerability Scanning of Proprietary and Open-Source Software: An Adaptable Process with Variants and Results
di: Cusick, James J.
Pubblicazione: (2025)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
di: Ruan, Bonan, et al.
Pubblicazione: (2024)

Linux Kernel Recency Matters, CVE Severity Doesn't, and History Fades
di: Przymus, Piotr, et al.
Pubblicazione: (2026)

Take a Step Further: Understanding Page Spray in Linux Kernel Exploitation
di: Guo, Ziyi, et al.
Pubblicazione: (2024)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
di: Chen, Hongbo, et al.
Pubblicazione: (2024)

Patch-to-PoC: A Systematic Study of Agentic LLM Systems for Linux Kernel N-Day Reproduction
di: Pu, Juefei, et al.
Pubblicazione: (2026)

From Lab to Reality: A Practical Evaluation of Deep Learning Models and LLMs for Vulnerability Detection
di: Lu, Chaomeng, et al.
Pubblicazione: (2025)

HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
di: Felici, Riccardo, et al.
Pubblicazione: (2022)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
di: Ma, Chengyan, et al.
Pubblicazione: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Automated TEE Adaptation with LLMs: Identifying, Transforming, and Porting Sensitive Functions in Programs
di: Han, Ruidong, et al.
Pubblicazione: (2025)