Buchumschlag

INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Le, Hung, Zhou, Yingbo, Xiong, Caiming, Savarese, Silvio, Sahoo, Doyen
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence Computation and Language Cryptography and Security Multiagent Systems Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
von: Peng, Yun, et al.
Veröffentlicht: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
von: Liu, Shigang, et al.
Veröffentlicht: (2024)

ProSec: Fortifying Code LLMs with Proactive Security Alignment
von: Xu, Xiangzhe, et al.
Veröffentlicht: (2024)

AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
von: Mitra, Shaswata, et al.
Veröffentlicht: (2026)

Extending the OWASP Multi-Agentic System Threat Modeling Guide: Insights from Multi-Agent Security Research
von: Krawiecka, Klaudia, et al.
Veröffentlicht: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
von: Chen, Junkai, et al.
Veröffentlicht: (2025)

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
von: Sternfeld, Alexander, et al.
Veröffentlicht: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
von: Khare, Avishree, et al.
Veröffentlicht: (2023)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

PurpCode: Reasoning for Safer Code Generation
von: Liu, Jiawei, et al.
Veröffentlicht: (2025)

CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models
von: Li, Jierui, et al.
Veröffentlicht: (2024)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
von: Arquint, Linard, et al.
Veröffentlicht: (2025)

Large Language Models for Code: Security Hardening and Adversarial Testing
von: He, Jingxuan, et al.
Veröffentlicht: (2023)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
von: Liang, Zi, et al.
Veröffentlicht: (2026)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
von: Berabi, Berkay, et al.
Veröffentlicht: (2024)

Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
von: Karanjai, Rabimba, et al.
Veröffentlicht: (2025)

Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
von: Tung, Lam Nguyen, et al.
Veröffentlicht: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

PrimeGuard: Safe and Helpful LLMs through Tuning-Free Routing
von: Manczak, Blazej, et al.
Veröffentlicht: (2024)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
von: Ji, Yuchen, et al.
Veröffentlicht: (2025)

Security Degradation in Iterative AI Code Generation -- A Systematic Analysis of the Paradox
von: Shukla, Shivani, et al.
Veröffentlicht: (2025)

Can Highlighting Help GitHub Maintainers Track Security Fixes?
von: Liu, Xueqing, et al.
Veröffentlicht: (2024)

HexaCoder: Secure Code Generation via Oracle-Guided Synthetic Training Data
von: Hajipour, Hossein, et al.
Veröffentlicht: (2024)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
von: Khakpour, Narges, et al.
Veröffentlicht: (2025)

Jailbreak Distillation: Renewable Safety Benchmarking
von: Zhang, Jingyu, et al.
Veröffentlicht: (2025)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

BackportBench: A Multilingual Benchmark for Automated Backporting of Patches
von: Zhong, Zhiqing, et al.
Veröffentlicht: (2025)

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
von: Zhang, Yiyu, et al.
Veröffentlicht: (2024)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
von: Yang, Qizhe, et al.
Veröffentlicht: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2025)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
von: Singh, Animesh, et al.
Veröffentlicht: (2026)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
von: Thakur, Manoj RameshChandra
Veröffentlicht: (2024)

Evaluation of the Programming Skills of Large Language Models
von: Heitz, Luc Bryan, et al.
Veröffentlicht: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
von: Wang, Yayi, et al.
Veröffentlicht: (2026)

PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics
von: Zhu, Derui, et al.
Veröffentlicht: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)