Report on the differential testing of static analyzers

QR kód

Report on the differential testing of static analyzers

Program faults, best known as bugs, are practically unavoidable in today's ever growing software systems. One increasingly popular way of eliminating them, besides tests, dynamic analysis, and fuzzing, is using static analysis based bug-finding tools. Such tools are capable of finding surprisin...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Horváth Gábor Kovács Réka Nikolett Szécsi Péter
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2022
Sorozat:	Acta cybernetica 25 No. 4
Kulcsszavak:	Szoftverfejlesztés, Statikus kódelemzés, Hibakeresés, Dinamikus elemzés, Programozás
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.282831
Online Access:	http://acta.bibl.u-szeged.hu/86954

Hasonló tételek

Improved loop execution modeling in the Clang static analyzer
Szerző: Szécsi Péter György, et al.
Megjelent: (2022)

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

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

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

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

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

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

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

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

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

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

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

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)

Towards proper differential analysis of static analysis engine changes
Szerző: Horváth Gábor, et al.
Megjelent: (2018)

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)

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

Business process quality measurement using advances in static code analysis
Szerző: Ladányi Gergely
Megjelent: (2015)

Test suite reduction in conformance testing
Szerző: Csöndes Tibor, et al.
Megjelent: (1999)

A module based hybrid analyzer of biological signals
Szerző: Jan Jiri
Megjelent: (1977)

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

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

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

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

Towards analyzing the influence of measurement errors in magnetic resonance imaging of fluid flows development of an interval-based /
Szerző: John Kristine, et al.
Megjelent: (2020)

Test functions and to test functions a framework for global optimization on Stiefel manifolds : [abstract] /
Szerző: Balogh János, et al.
Megjelent: (2002)

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

Analysing the semantic content of static Hungarian embedding spaces
Szerző: Ficsor Tamás, et al.
Megjelent: (2021)

Test component assignment and scheduling in a load testing environment [abstract] /
Szerző: Bozóki Ferenc, et al.
Megjelent: (2008)

Auto case test selection from WAP test suites [abstract] /
Szerző: Fazakas Antal
Megjelent: (2000)

GPRS function test using TTCN [abstract] /
Szerző: Horváth Endre, et al.
Megjelent: (2000)

Automatic test selection based on CEFSM specifications
Szerző: Kovács Gábor, et al.
Megjelent: (2002)

Bluetooth modelling, validation and test suite generation [abstract] /
Szerző: Horváth Endre
Megjelent: (2002)

Dynamic model for the system testing process [abstract] /
Szerző: Stikkel Gábor
Megjelent: (2004)

Testing Internet applications terminology and applicability /
Szerző: Malek Mazen, et al.
Megjelent: (1999)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

Uniform test selection method [abstract] /
Szerző: Bohus Mihály
Megjelent: (1998)

Unit testing in C++ with compiler instrumentation and friends
Szerző: Márton Gábor, et al.
Megjelent: (2017)

Testing aspect in model driven software development [abstract] /
Szerző: Bátori Gábor, et al.
Megjelent: (2004)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)