Cover Image

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Jinbao, Xiang, Hongjing, Zhao, Zuohong, Li, Luhao, Zhang, Yu, Ding, Boyao, Li, Qingwei, Xiong, Songyuan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering D.2.2; D.2.5; F.2.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Source Code Hotspots: A Diagnostic Method for Quality Issues
by: Muzammil, Saleha, et al.
Published: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
by: Vandeloise, Mikel
Published: (2025)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)

Explicit Weakening
by: Wadler, Philip
Published: (2024)

Dynamic Race Detection With O(1) Samples
by: Thokair, Mosaad Al, et al.
Published: (2025)

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

What if we have 90 minutes only to teach programming?
by: Egri-Nagy, Attila
Published: (2026)

On Modular Termination Proofs of General Logic Programs
by: Bossi, Annalisa, et al.
Published: (2000)

Sequence-Based Abstract Interpretation of Prolog
by: Charlier, Baudouin Le, et al.
Published: (2000)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
by: Smith, Ian
Published: (2024)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
by: Dietrich, Jens, et al.
Published: (2024)

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Globality and Regions
by: Gramaglia, Hector
Published: (2025)

Simple Modal Types for Functional Reactive Programming
by: Bahr, Patrick
Published: (2025)

Message-Observing Sessions
by: Kavanagh, Ryan, et al.
Published: (2024)

Practical Algebraic Stepping with Scoped Filters
by: Fei, Haoxiang, et al.
Published: (2026)

Scoped and Typed Staging by Evaluation
by: Allais, Guillaume
Published: (2023)

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
by: Hirata, Kengo, et al.
Published: (2024)

Controlling Copatterns: There and Back Again (Extended Version)
by: Downen, Paul
Published: (2025)

Weak-Linear Types
by: Gramaglia, Hector
Published: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
by: Arora, Jai, et al.
Published: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Weak Memory Model Formalisms: Introduction and Survey
by: Su, Roger C., et al.
Published: (2025)

From Code to Compliance: Assessing ChatGPT's Utility in Designing an Accessible Webpage -- A Case Study
by: Ahmed, Ammar, et al.
Published: (2025)

The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)