Improved loop execution modeling in the Clang static analyzer

QR kód

Improved loop execution modeling in the Clang static analyzer

The LLVM Clang Static Analyzer is a source code analysis tool which aims to find bugs in C, C++, and Objective-C programs using symbolic execution, i.e. it simulates the possible execution paths of the code. Currently the simulation of the loops is somewhat naive (but efficient), unrolling the loops...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Szécsi Péter György Horváth Gábor Porkoláb Zoltán
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2022
Sorozat:	Acta cybernetica 25 No. 4
Kulcsszavak:	Programanalízis, Programozás
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.283176
Online Access:	http://acta.bibl.u-szeged.hu/86960

Hasonló tételek

Detecting uninitialized variables in C++ with the Clang static analyzer
Szerző: Umann Kristóf, et al.
Megjelent: (2022)

Report on the differential testing of static analyzers
Szerző: Horváth Gábor, et al.
Megjelent: (2022)

Static slicing of binary executables [abstract] /
Szerző: Kiss Ákos, et al.
Megjelent: (2002)

Comparing ML-Based Predictions and Static Analyzer Tools for Vulnerability Detection
Szerző: Vándor Norbert, et al.
Megjelent: (2022)

Automating, analyzing and improving pupillometry with machine learning algorithms
Szerző: Kalmár György, et al.
Megjelent: (2019)

Automating, Analyzing and Improving Pupillometry with Machine Learning Algorithms
Szerző: Kalmár György, et al.
Megjelent: (2019)

Loop products and loop-free products
Szerző: Ésik Zoltán
Megjelent: (1987)

Steiner loops [abstract] /
Szerző: Stuhl Izabella
Megjelent: (2008)

Definition of a parallel execution model with abstract state machines
Szerző: Németh Zsolt
Megjelent: (2002)

Definition of a parallel execution model with abstract state machines [abstract] /
Szerző: Németh Zsolt
Megjelent: (2000)

Analyzing Hyperonyms of Stack Overflow Posts
Szerző: Tóth László, et al.
Megjelent: (2021)

Improving Gossip Learning via Limited Model Merging
Szerző: Danner Gábor, et al.
Megjelent: (2023)

Comparison of static- and dynamic call graphs [abstract] /
Szerző: Horváth Endre, et al.
Megjelent: (2006)

Analyzing Branching Strategies for Project Productivity Identifying the Preferred Approach /
Szerző: Shakikhanli Ulvi, et al.
Megjelent: (2024)

Efficient static impact analysis [abstract] /
Szerző: Jász Judit
Megjelent: (2008)

Improving Neural Silent Speech Interface Models by Adversarial Training
Szerző: Honarmandi Shandiz Amin, et al.
Megjelent: (2021)

Improving saturation-based bounded model checking
Szerző: Darvas Dániel, et al.
Megjelent: (2016)

Execution time reduction in function oriented scientific workflows
Szerző: Al-Haboobi Ali, et al.
Megjelent: (2021)

Tree transformations and the semantics of loop-free programs
Szerző: Arbib Michael Anthony, et al.
Megjelent: (1978)

Evaluating and Improving the Intelligibility of Hungarian Dysarthric Speech Using Foundation Models
Szerző: Berta Árpád, et al.
Megjelent: (2026)

NI FPGA alapú Hardware in the Loop rendszerek [absztrakt] /
Szerző: Szilágyi Norbert
Megjelent: (2017)

Runtime exception detection in Java programs using symbolic execution
Szerző: Kádár István, et al.
Megjelent: (2014)

Static Code Analysis Alarms Filtering Reloaded A New Real-World Dataset and its ML-Based Utilization /
Szerző: Hegedűs Péter, et al.
Megjelent: (2022)

Comparison on static slicing of C and binary programs [abstract] /
Szerző: Kiss Ákos
Megjelent: (2004)

Static Call Graph Combination to Simulate Dynamic Call Graph Behavior
Szerző: Ságodi Zoltán, et al.
Megjelent: (2022)

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
Szerző: Kószó Dávid, et al.
Megjelent: (2025)

Evaluating Python Static Code Analysis Tools Using FAIR Principles
Szerző: Hassan Hassan Bapeer, et al.
Megjelent: (2024)

Metrikaszámítás a Clang frontenddel
Szerző: Cserni Bálint Gábor
Megjelent: (2018)

Unified SAST benchmark Compare AI-driven and traditional static analyzers /
Szerző: Viszkok Tamás, et al.
Megjelent: (2025)

Analysis of size differences between static and dynamic slices [abstract] /
Szerző: Tóth Gabriella
Megjelent: (2008)

Static specification completeness checking of UML state machines [abstract] /
Szerző: Pap Zsigmond
Megjelent: (2000)

Analysis of static and dynamic test-to-code traceability information
Szerző: Gergely Tamás, et al.
Megjelent: (2018)

Is JavaScript Call Graph Extraction Solved Yet? A Comparative Study of Static and Dynamic Tools
Szerző: Antal Gábor, et al.
Megjelent: (2023)

Loop elimination, a sound optimisation technique for PTTP related theorem proving
Szerző: Zombori Zsolt, et al.
Megjelent: (2012)

Traquest model a novel model for ACID concurrent computations /
Szerző: Rátai Dániel Balázs, et al.
Megjelent: (2021)

The different effects of the database update during the long execution of continuous queries [abstract] /
Szerző: Búza Antal
Megjelent: (2004)

A first Fit type algorithm for the coupled task scheduling problem with unit execution time and two exact delays
Szerző: Békési József, et al.
Megjelent: (2022)

The optimization of a symbolic execution engine for detecting runtime errors
Szerző: Kádár István
Megjelent: (2017)

Static analysis and optimization questions of structural recursions in semistructured databases [abstract] /
Szerző: Benczúr András, et al.
Megjelent: (2004)

An improved directional convexity measure for binary images
Szerző: Bodnár Péter, et al.
Megjelent: (2017)