On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study.
Paulo Jorge Costa NunesIberia MedeirosJosé FonsecaNuno Ferreira NevesMiguel CorreiaMarco VieiraPublished in: EDCC (2017)
Keyphrases
- static analysis
- java card
- dynamic analysis
- web technologies
- website
- end users
- source code
- web pages
- web applications
- semantic web
- symbolic execution
- database
- abstract interpretation
- access control
- test generation
- security requirements
- regular expressions
- web content
- web resources
- information security
- malicious code
- linked data
- intrusion detection
- api calls
- security model
- reverse engineering
- building blocks
- high level
- artificial intelligence