Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

Source URL: qapl17.doc.ic.ac.uk

COMP 621 Program Analysis and Transformations Assignment #1 • The benchmark should not use dynamic features that make the program hard to analyze. For example, it should not make use of functions like evalin. Profilin

Source URL: www.sable.mcgill.ca

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

Source URL: einarj.at.ifi.uio.no

• Software engineering
• Computing
• Programming language theory
• Type theory
• Concurrent programming languages
• Program analysis
• Type system
• Go
• Sheaf
• Orbifold
• CurryHoward correspondence

Microsoft PowerPoint - AS14.ppt [Compatibility Mode]

Source URL: denimgroup.com

• IBM software
• Software testing
• Security AppScan
• Rational Software
• IBM
• Rational Unified Process
• Software development
• Dynamic program analysis
• IBM R&D Labs in Israel

http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea

Source URL: www.agitar.com

• Software testing
• Program analysis
• Software review
• Concurrent programming languages
• Cross-platform software
• Static program analysis
• Dynamic program analysis
• Programming tool
• Lint
• Application security
• Software quality
• Java

Early and Often: Avoiding Security Flaws with Continuous Integration with High Code Coverage Early and Often: Avoiding Security Flaws with Continuous Integration with High Code Coverage Security vulnerabilities are cau

Source URL: www.agitar.com

• Software testing
• Extreme programming
• Continuous integration
• Vulnerability
• Regression testing
• Code coverage
• Software quality
• Unit testing
• Dynamic program analysis

2015 Occupant Protection Standing Review Panel Research Plan Review for: The Risk of Injury from Dynamic Loads Final Report I.

Source URL: humanresearchroadmap.nasa.gov

• Human Research Program
• Human spaceflight
• Risk analysis

Binary Analysis for Measurement and Attribution of Program Performance Nathan R. Tallent John M. Mellor-Crummey

Source URL: www.hpctoolkit.org

• Subroutines
• Call stack
• Stack
• Pointer
• Optimizing compiler
• Tail call
• Inline expansion
• Profiling
• Function prologue
• Fortran
• Call graph
• C dynamic memory allocation

HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

Source URL: hexhive.github.io

• Computing
• Software engineering
• Memory management
• Software
• Computer memory
• Program analysis
• Control flow graph
• Data-flow analysis
• Data buffer
• C dynamic memory allocation
• Stack
• Call stack