نتایج جستجو برای: Abstract domain

تعداد نتایج: 790912  

Journal: :Science of Computer Programming 2007

Journal: :Higher-Order and Symbolic Computation 2006

Journal: :Electronic Notes in Theoretical Computer Science 2012

Journal: :Formal Methods in System Design 2021

Static analyses aim at inferring semantic properties of programs. We distinguish two important classes static analyses: state and relational analyses. While computing an over-approximation reachable states programs, functional over the input–output Several advantages are their ability to analyze incomplete such as libraries or classes, but also make analysis modular, using relations composable ...

The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...

Journal: :Electronic Notes in Theoretical Computer Science 1997

Journal: :Proceedings of the ACM on Programming Languages 2019

Journal: :Higher-Order and Symbolic Computation 2001
Antoine Miné

This article presents the octagon abstract domain, a relational numerical abstract domain for static analysis by abstract interpretation. It allows representing conjunctions of constraints of the form ±X ± Y ≤ c where X and Y range among program variables and c is a constant in Z, Q, or R automatically inferred. Abstract elements are represented using modified Difference Bound Matrices and we u...

2013
Bogdan Mihaila Alexander Sepp Axel Simon

Veri cation using static analysis often hinges on precise numeric invariants. Numeric domains of in nite height can infer these invariants, but require widening/narrowing which complicates the xpoint computation and is often too imprecise. As a consequence, several strategies have been proposed to prevent a precision loss during widening or to narrow in a smarter way. Most of these strategies a...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید