Semantic-Type-Guided Bug Finding
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Qian, Kelvin, Smith, Scott, Stride, Brandon, Weng, Shiwei, Wu, Ke |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
UBfuzz: Finding Bugs in Sanitizer Implementations
par: Li, Shaohua, et autres
Publié: (2024)
par: Li, Shaohua, et autres
Publié: (2024)
A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023)
par: Smith, Scott, et autres
Publié: (2023)
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
par: Young, Halley
Publié: (2026)
par: Young, Halley
Publié: (2026)
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
par: Chen, Hung-Mao, et autres
Publié: (2025)
par: Chen, Hung-Mao, et autres
Publié: (2025)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)
par: Feng, Qiong, et autres
Publié: (2025)
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
par: Deng, Wenjing, et autres
Publié: (2024)
par: Deng, Wenjing, et autres
Publié: (2024)
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
par: Chen, Boqi, et autres
Publié: (2024)
par: Chen, Boqi, et autres
Publié: (2024)
Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)
par: Gu, Qiqi, et autres
Publié: (2023)
BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
par: Zhou, Xintong, et autres
Publié: (2025)
par: Zhou, Xintong, et autres
Publié: (2025)
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)
par: Ye, He, et autres
Publié: (2023)
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
par: Devriese, Dominique, et autres
Publié: (2020)
par: Devriese, Dominique, et autres
Publié: (2020)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)
par: Lybech, Stian, et autres
Publié: (2025)
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
par: Liu, Zixi, et autres
Publié: (2025)
par: Liu, Zixi, et autres
Publié: (2025)
Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases
par: Wang, Yu, et autres
Publié: (2024)
par: Wang, Yu, et autres
Publié: (2024)
Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)
par: Geer, Jasper, et autres
Publié: (2026)
InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
par: Wright, Tanner, et autres
Publié: (2026)
par: Wright, Tanner, et autres
Publié: (2026)
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
par: Bao, Yuyan, et autres
Publié: (2025)
par: Bao, Yuyan, et autres
Publié: (2025)
Typing Requirement Model as Coroutines
par: Gu, Qiqi, et autres
Publié: (2024)
par: Gu, Qiqi, et autres
Publié: (2024)
Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)
par: He, Yifeng, et autres
Publié: (2025)
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)
par: Giovannini, Eric, et autres
Publié: (2024)
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
par: LaFontaine, Patrick, et autres
Publié: (2025)
par: LaFontaine, Patrick, et autres
Publié: (2025)
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)
par: Serebryany, Kostya, et autres
Publié: (2023)
Realizability in Semantics-Guided Synthesis Done Eagerly
par: Meyer, Roland, et autres
Publié: (2024)
par: Meyer, Roland, et autres
Publié: (2024)
Verifying Solutions to Semantics-Guided Synthesis Problems
par: Murphy, Charlie, et autres
Publié: (2024)
par: Murphy, Charlie, et autres
Publié: (2024)
A Flow Extension to Coroutine Types for Deadlock Detection in Go
par: Gu, Qiqi Jason, et autres
Publié: (2026)
par: Gu, Qiqi Jason, et autres
Publié: (2026)
Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)
par: Vákár, Matthijs
Publié: (2014)
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)
par: Zhang, Kaiwen, et autres
Publié: (2022)
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)
par: Hochrainer, Christoph, et autres
Publié: (2025)
TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)
par: Moine, Alexandre, et autres
Publié: (2025)
Finding $\forall\exists$ Hyperbugs using Symbolic Execution
par: Correnson, Arthur, et autres
Publié: (2025)
par: Correnson, Arthur, et autres
Publié: (2025)
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
par: Huang, Zhechong, et autres
Publié: (2025)
par: Huang, Zhechong, et autres
Publié: (2025)
Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)
par: Almeida, Bernardo, et autres
Publié: (2025)
Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)
par: Cutler, Joseph W., et autres
Publié: (2023)
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)
par: Li, Senxi, et autres
Publié: (2026)
Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
par: Silva, André, et autres
Publié: (2025)
par: Silva, André, et autres
Publié: (2025)
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)
par: Dong, Rui, et autres
Publié: (2026)
Documents similaires
-
UBfuzz: Finding Bugs in Sanitizer Implementations
par: Li, Shaohua, et autres
Publié: (2024) -
A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023) -
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
par: Young, Halley
Publié: (2026) -
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
par: Chen, Hung-Mao, et autres
Publié: (2025) -
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)