AbsInt

Results: 70



#Item
1A Case for Static Analyzers in the Cloud (Position paper) Michael Barnett1 Mehdi Bouaziz2 Manuel F¨ahndrich1 Francesco Logozzo1 1 2

A Case for Static Analyzers in the Cloud (Position paper) Michael Barnett1 Mehdi Bouaziz2 Manuel F¨ahndrich1 Francesco Logozzo1 1 2

Add to Reading List

Source URL: mehdi.bouaziz.org

Language: English - Date: 2014-01-23 20:24:46
2Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016

Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2016-04-05 14:57:15
3SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-11-24 06:44:26
4funktionale sicherheit JuliJuli 2015 € 12,80 funktionale sicherheit powered by

funktionale sicherheit JuliJuli 2015 € 12,80 funktionale sicherheit powered by

Add to Reading List

Source URL: www.absint.com

Language: German - Date: 2015-08-20 05:20:02
    5StackAnalyzer for SuperH StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gra

    StackAnalyzer for SuperH StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gra

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-04-23 05:17:02
    6StackAnalyzer for FR81S StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

    StackAnalyzer for FR81S StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-01-19 06:15:30
    7StackAnalyzer for x86 (Real Mode) StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the

    StackAnalyzer for x86 (Real Mode) StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-01-19 06:15:30
    8ValueAnalyzer for TriCore ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software sys

    ValueAnalyzer for TriCore ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software sys

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-01-19 06:15:30
    9StackAnalyzer for C16x StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph

    StackAnalyzer for C16x StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-01-19 06:15:30
    10ValueAnalyzer for ARM ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system

    ValueAnalyzer for ARM ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system

    Add to Reading List

    Source URL: www.absint.com

    Language: English - Date: 2015-02-17 09:23:11