Data-flow Analysis of Programs with Associative Arrays

@inproceedings{Hauzar2014DataflowAO,
  title={Data-flow Analysis of Programs with Associative Arrays},
  author={David Hauzar and J. Kofron and Pavel Basteck{\'y}},
  booktitle={ESSS},
  year={2014}
}
Dynamic programming languages, such as PHP, JavaScript, and Python, provide built-in data struc-tures including associative arrays and objects with similar semantics—object properties can be cre-ated at run-time and accessed via arbitrary expressions. While a high level of security and safety ofapplications written in these languages can be of a particular importance (consider a web applica-tion storing sensitive data and providing its functionality worldwide), dynamic data structures posesigni… Expand
11 Citations
WeVerca: Web Applications Verification for PHP
  • 1
Framework for Static Analysis of PHP Applications
  • 20
  • PDF
WeVerca : Web Applications Veri cation for PHP ( Tool Paper ) ?
  • PDF
Inferring Common Language Infrastructure metadata for an ambiguous dynamic language type
  • 4
Synchronized pushdown systems for pointer and data-flow analysis
  • 2
  • Highly Influenced
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
  • 20
  • PDF
A New Framework of Security Vulnerabilities Detection in PHP Web Application
  • J. Zhao, Rulin Gong
  • Computer Science
  • 2015 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing
  • 2015
  • 3
...
1
2
...

References

SHOWING 1-10 OF 16 REFERENCES
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
  • 14
  • PDF
Dynamic determinacy analysis
  • 55
  • PDF
Correlation Tracking for Points-To Analysis of JavaScript
  • 102
  • Highly Influential
  • PDF
Pixy: a static analysis tool for detecting Web application vulnerabilities
  • 658
  • PDF
Principles of Program Analysis
  • 1,907
  • PDF
TAJ: effective taint analysis of web applications
  • 302
  • PDF
Points-to analysis for JavaScript
  • 52
  • Highly Influential
  • PDF
On Security Analysis of PHP Web Applications
  • David Hauzar, J. Kofron
  • Computer Science
  • 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops
  • 2012
  • 8
  • PDF
Practical blended taint analysis for JavaScript
  • 56
  • PDF
...
1
2
...