Back to Results
First PageMeta Content
Computer programming / Compiler construction / Programming paradigms / Data management / SQL / SQL injection / Context-free grammar / Parsing / Concolic testing / Computing / Formal languages / Software engineering


HAMPI: A Solver for String Constraints Adam Kie˙zun Vijay Ganesh [removed]
Add to Reading List

Document Date: 2014-01-03 23:24:44


Open Document

File Size: 198,25 KB

Share Result on Facebook

City

Chicago / /

Company

CNF / MySQL / Hampi / /

Country

United States / /

Currency

PHP / USD / /

/

Event

FDA Phase / M&A / /

IndustryTerm

concatenation operator / maintainable tools / real Web applications / Web-application vulnerabilities / security applications / Web applications / systematic-testing tool / online education courses / Web application / static analysis tool / string solution / static-analysis tool / verification applications / short solutions / pre-processing step / systematic testing tool / dynamic analysis tool / legal solution / vulnerability-scanning tools / union operator / security-testing tool / dynamicanalysis tool / dynamic-analysis tool / Automatic test-case generation tools / /

OperatingSystem

Linux / Fedora / /

Organization

University of Washington / MIT / University of Virginia / Stanford University / US Federal Reserve / /

Person

Solving Hampi / Figure / Adam Kie˙zun Vijay / Philip J. Guo / /

Position

Tools General / representative / programmer / /

Product

Klee / Ardilla / SQL INJECTION SQL injections / SQL injection / Creating SQL Injection / Identifying SQL Injection / exists / STP / string / /

ProgrammingLanguage

Java / Yacc / C / HTML / SQL / PHP / /

ProvinceOrState

Illinois / /

SportsLeague

Stanford University / /

Technology

virtual machine / RAM / following algorithm / PHP / Linux / API / HTML / solving algorithm / Java / ASCII / /

URL

http /

SocialTag