Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization.
Gabriella CarrozzaMarcello CinqueUgo GiordanoRoberto PietrantuonoStefano RussoPublished in: SER&IP@ICSE (2015)
Keyphrases
- cost effective
- static analysis
- source code
- malicious code
- dynamic analysis
- low cost
- symbolic execution
- test generation
- cost effectiveness
- regular expressions
- information loss
- abstract interpretation
- test suite
- java card
- open source
- data sets
- error detection
- private cloud
- environmentally friendly
- differential privacy
- data center
- real time
- error correction
- smart card
- pattern matching
- training data
- high level
- case study
- artificial intelligence