[journal]
주정민
/ 2015
/
A Study of Research Trend about Internet of Things
/ 정보화정책
/ 한국정보화진흥원
22
(3)
: 3~15
[web]
CWE
/ Common Weakness Enumeration
/ http://cwe.mitre.org
[web]
CVE
/ Common Vulnerabilities and Exposures
/ http://cve.mitre.org
[journal]
C. Cadar
/ 2013
/ Symbolic execution for software testing: three decades later
/ Communications of the ACM
56
(2)
: 82~90
[confproc]
P. Cousot
/ 1977
/ Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
/ Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming languages
/ ACM
: 238~252
[confproc]
S. Hendrik
/ 2016
/ Static analysis of Sequential Function Charts using abstract interpretation
/ Emerging Technologies and Factory Automation (ETFA) 2016 IEEE 21st International Conference
: 1~4
[web]
/ Clang
/ http://Clang-analyzer.llvm.org
[web]
/ CppCheck
/ http://CppCheck.sourceforge.net
[web]
/ Compass User Manual
/ http://rosecompiler.org/Compass.pdf
[web]
/ NIST
/ http://samate.nist.gov/SRD/testsuite.php
[other]
IARPA
/ STONESOUP(Securely Taking On New Executable Software of Uncertain Provenance)
[other]
SAMATE
/ Juliet Test Suite v1.2 for C/C++ User Guide
/ National Security Agency
[web]
/ IARPA
/ http://www.iarpa.gov
[web]
/ MINESTRONE
/ http://nsl.cs.columbia.edu/projects/m-inestrone
[web]
/ PEASOUP
/ http://www.grammatech.com/software-hardening/research
[web]
/ VIBRANCE
/ http://stonesoup.kestrel.edu
[report]
NIST
/ Report on the Static Analysis Tool Exposition (SATE) IV
[web]
/ LDRA Testbed
/ http://www.ldra.com/en/testbedtbvision
[web]
/ INFER
/ http://fbinfer.com
[web]
/ Parasoft C++ test
/ http://www.parasoft.com/product/static-analysis-cc
[web]
/ Red Lizard Software Goanna
/ http://redlizards.com
[confproc]
C. Lattner
/ 2004
/ LLVM: A compilation framework for lifelong program analysis & transformation
/ Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
/ IEEE Computer Society
: 75~
[book]
B. C. Lopes
/ 2014
/ Getting started with LLVM core libraries
/ Packt Publishing Ltd
: 73~104
[book]
K. Cooper
/ 2011
/ Engineering a compil- er
/ Elsevier
: 231~232
[web]
/ ROSE compiler infrastructure
/ http://rosecompiler.org