Property templates for checking source code security
| Autor: | Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Source code
Database Property (programming) Programming language Computer science media_common.quotation_subject 020207 software engineering 02 engineering and technology computer.software_genre Data flow diagram Template 0202 electrical engineering electronic engineering information engineering computer media_common |
| Zdroj: | MEMOCODE |
| Popis: | This paper describes a method for using property definition templates to support automatic analysis of source code for application-specific security properties. The method is illustrated on an example data flow property of a C program. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|