Taint checking - PDFSEARCH.IO - Document Search Engine

Taint checking
Results: 19

#	Item
1	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-19 11:16:51 Carnegie Mellon University Concolic testing Taint checking Mellon Symbolic execution Software engineering
2	PDF Document Add to Reading List Source URL: jburket.com Language: English - Date: 2015-04-07 23:18:11 Scripting languages HTML Cross-site scripting Hacking Form SQL injection Code injection Ruby on Rails String Ruby JavaScript Taint checking
3	Perl versiondocumentation - perl587delta NAME perl587delta - what is new for perl v5.8.7 DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:58:30 Perl Character encoding Cross-platform software Plain Old Documentation UTF-8 Taint checking Regular expression Unicode Computing Software engineering Computer programming
4	DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Dataflow Symbolic execution Algorithm Information flow Dependence analysis Pointer Information Taint checking Computing Software engineering Parallel computing
5	DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Dataflow Symbolic execution Algorithm Information flow Dependence analysis Pointer Information Taint checking Computing Software engineering Parallel computing
6	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
7	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-03-12 11:18:03 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
8	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-08-16 00:26:51 Symbolic execution David Brumley Higher education Academia Computer programming Taint checking Carnegie Mellon University
9	Dytan: A Generic Dynamic Taint Analysis Framework James Clause, Wanchun Li, and Alessandro Orso College of Computing Georgia Institute of Technology {clause\|wli7\|orso}@cc.gatech.edu Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2007-07-12 05:25:09 Computer programming Data-flow analysis Pointer Application security SQL Buffer overflow Dataflow Taint checking Computing Software engineering Computer security