Zobrazeno 1 - 10
of 327
pro vyhledávání: '"SEIDL, HELMUT"'
Autor:
Erhard, Julian, Bentele, Manuel, Heizmann, Matthias, Klumpp, Dominik, Saan, Simmo, Schüssele, Frank, Schwarz, Michael, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps underlying the verdict in an exchangeable format, enabling independent va
Externí odkaz:
http://arxiv.org/abs/2411.16612
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general construction of weak
Externí odkaz:
http://arxiv.org/abs/2401.05165
Autor:
Saan, Simmo, Schwarz, Michael, Erhard, Julian, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Witnesses record automated program analysis results and make them exchangeable. To validate correctness witnesses through abstract interpretation, we introduce a novel abstract operation unassume. This operator incorporates witness invariants into th
Externí odkaz:
http://arxiv.org/abs/2310.16572
Autor:
Maneth, Sebastian, Seidl, Helmut
It is well known that for a given bottom-up tree automaton it can be decided whether or not there exists deterministic top-down tree automaton that recognized the same tree language. Recently it was claimed that such a decision can be carried out in
Externí odkaz:
http://arxiv.org/abs/2306.00573
We construct novel thread-modular analyses that track relational information for potentially overlapping clusters of global variables - given that they are protected by common mutexes. We provide a framework to systematically increase the precision o
Externí odkaz:
http://arxiv.org/abs/2301.06439
Autor:
Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results, abstract interpretation in general can be quite costly. To achieve qui
Externí odkaz:
http://arxiv.org/abs/2209.10445