Back to Results
First PageMeta Content
Abstract data types / Cross-platform software / Procedural programming languages / Static program analysis / Program slicing / Software maintenance / Priority queue / Pointer / C / Computing / Software engineering / Programming language theory


TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia
Add to Reading List

Document Date: 2015-03-03 14:08:09


Open Document

File Size: 201,42 KB

Share Result on Facebook

City

Dublin / /

Company

IBM / Sun Microsystems / Web Applications Omer Tripp IBM Software Group / Isk Handling Exceptions TAJ / TAJ / Intel / Omri Weisman IBM Software Group / /

Country

Ireland / /

Currency

USD / /

/

Event

Product Issues / FDA Phase / /

Facility

Java library / /

IndustryTerm

static taint-analysis tools / pointer-analysis solution / significant machinery / real-world Web vulnerabilities / Web frameworks / static-analysis solution / Static-analysis algorithms / call graph construction algorithm / social Web site / Internet Inter-ORB Protocol / non-standard type systems / access-control systems / model essential Web-application code artifacts / thin-slicing algorithm / large industrial Web / Web Frameworks In / target Web / Web application / conservative algorithm / Web Application Security Project / hybrid thin-slicing algorithm / prioritized hybrid algorithm / tabulation algorithm / term taint carrier / taint-carrier-detection algorithm / precise solution / taint-carrier detection algorithm / thin slicing algorithms / industry-level applications / optimized algorithm / prioritization policy / imprecise solution / industrial-strength tool / servlet / large applications / hybrid algorithm / real-world Web / unbounded hybrid algorithm / industrial Web / software attacks / taint carrier / allocation site / /

OperatingSystem

XP / Microsoft Windows / /

Organization

Marco Pistoia Stephen Fink IBM T. J. Watson Research Center / /

Position

model for static analysis / General / general overview / backing persistence manager / interpreter / PrintWriter writer / Testing and Debugging General / writer / Model View Controller / representative / controller / /

Product

Structured Query Language injection / BETA-2 / sources / data / EB2Bean / /

ProgrammingLanguage

Java / Perl / XML / JavaScript / /

Technology

type-based algorithm / relevant algorithm / XML / RAM / following algorithm / taint-carrier-detection algorithm / CS algorithm / API / call graph construction algorithm / tabulation algorithm / unbounded hybrid algorithm / Static-analysis algorithms / hybrid thin-slicing algorithm / proposed algorithms / LCP algorithm / eXtensible Markup Language / Perl / PDG-based algorithm / taint-carrier detection algorithm / prioritized hybrid algorithm / 2 processor / Enterprise JavaBeans / JSP / hybrid algorithm / Java / dom / thin slicing algorithms / prioritized algorithm / thin-slicing algorithm / /

SocialTag