DS-Coverity-CAP-Course-1122.pdf

Source URL: www.coverity.com

(coverity by synopsys logo.eps)

Source URL: www.coverity.com

• Test automation
• Evaluation
• Software testing
• Graphical user interface testing
• Coverity

Validating and defending QEMU TCG targets Alex Bennée KVM Forum 2014

Source URL: kvm.et.redhat.com

• Linux
• QEMU
• GNU Compiler Collection
• Coverity
• Linux kernel
• ARM architecture
• A64
• Code coverage
• Linaro
• Software
• Software metrics
• Compilers

Reference table from Section 2a of Practical Security Stories and Security Tasks for Agile Development Environments www.safecode.org/publications/ SAFECode_Agile_Dev_Security0712.pdf

Source URL: www.safecode.org

• Computing
• Vulnerability
• Fuzz testing
• Coverity
• Cross-site scripting
• Test automation
• Code injection
• C
• Software testing
• Computer security
• Cyberwarfare

Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Source URL: www.cse.unsw.edu.au

• Compiler construction
• NuSMV
• Software testing
• Model checking
• Static program analysis
• Abstract interpretation
• Parsing
• Software verification
• Coverity
• Model checkers
• Software
• Computing

Linux Kernel Developer Responses to Static Analysis Bug Reports Philip J. Guo and Dawson Engler Stanford University Abstract We present a study of how Linux kernel developers respond to bug reports issued by a static ana

Source URL: pgbovine.net

• Coverity
• Software bug
• Triage
• Linux kernel
• Bug tracking system
• Debugging
• Kernel
• Open-source software
• Debian
• Software
• Computing
• Computer architecture

Validating and defending QEMU TCG targets Alex Bennée KVM Forum 2014

Source URL: www.linux-kvm.org

• Linux
• QEMU
• GNU Compiler Collection
• Coverity
• Linux kernel
• ARM architecture
• A64
• Code coverage
• Linaro
• Software
• Software metrics
• Compilers

Taming the Lint Monster A personal perspective of the PC-Lint code analysis tool, and how to use it effectively Anna-Jayne Metcalfe Riverblade Limited

Source URL: www.riverblade.co.uk

• PC-Lint
• Coverity
• Lint
• MISRA C
• Splint
• Parasoft
• C
• Static program analysis
• Software
• Computing
• Cross-platform software

State of PHP Security Ilia Alshanetsky ZendCon

Source URL: ilia.ws

• Computing
• Software testing
• Coverity
• Computer security
• Computer network security
• Security bug
• Valgrind
• Software bugs
• Software quality
• Computer programming

Comparing Four Static Analysis Tools for Java Concurrency Bugs Md. Abdullah Al Mamun, Aklima Khanam, Håkan Grahn, and Robert Feldt School of Computing, Blekinge Institute of Technology SE[removed]Karlskrona, Sweden

Source URL: robertfeldt.net

• Software review
• Coverity
• FindBugs
• Software bug
• Jtest
• Parasoft
• Application security
• Software design pattern
• Code review
• Software testing
• Software
• Computing