Transfer Function Synthesis without Quantifier Elimination

Autor: Brauer, Jörg, King, Andy

Publikováno v: Logical Methods in Computer Science, Volume 8, Issue 3 (September 17, 2012) lmcs:814

Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input st

Externí odkaz: http://arxiv.org/abs/1207.4286

INTO-CPS tool chain user manual

Autor: Bandur, Victor, Larsen, Peter Gorm, Lausdahl, Kenneth, Thule, Casper, Gamble, Carl, Payne, Richard, Pop, Adrian, Brosse, Etienne, Brauer, Jörg, Lapschies, Florian, Groothuis, Marcel, Bokhove, Tom, Kleijn, Christian, Couto, Luis Diogo

Publikováno v: Bandur, V, Larsen, P G, Lausdahl, K, Thule, C, Gamble, C, Payne, R, Pop, A, Brosse, E, Brauer, J, Lapschies, F, Groothuis, M, Bokhove, T, Kleijn, C & Couto, L D 2017, INTO-CPS tool chain user manual . Aarhus Universiet, Aarhus . < https://into-cps.github.io/download/ >

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::72ebc4065c6c3ada28bb08abdd3aa2ce
https://pure.au.dk/portal/da/publications/intocps-tool-chain-user-manual(98483fa4-eef1-4f78-a65a-baeac1745ad2).html

Adaptable Value-Set Analysis for Low-Level Code

Autor: Brauer, Jörg, Hansen, René Rydhof, Kowalewski, Stefan, Larsen, Kim G., Olesen, Mads Chr.

Publikováno v: Brauer, J, Hansen, R R, Kowalewski, S, Larsen, K G & Olesen, M C 2012, Adaptable Value-Set Analysis for Low-Level Code . in 6th International Workshop on Systems Software Verification (SSV 2011) . vol. 24, Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 6th International Workshop on Systems Software Verification (SSV 2011), Nijmegen, Netherlands, 26/08/2011 . https://doi.org/10.4230/OASIcs.SSV.2011.i

This paper presents a framework for binary code analysis that uses only SAT-based algorithms. Within the framework, incremental SAT solving is used to perform a form of weakly relational value-set analysis in a novel way, connecting the expressivenes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e214b824d7d712c7f0331d33a7db2823
https://vbn.aau.dk/da/publications/110c7a6e-43e9-4303-8fe3-d8dbc7ef4092

Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler.

Autor: Brauer, Jörg, Dahlweid, Markus, Pankrath, Tobias, Peleska, Jan

Publikováno v: Collaboration & Technology: 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings; 2015, p427-440, 14p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.