Julia Static Analyzer

MaRDI QIDQ39887swMATHFDO

Official website https://www.verifysoft.com/en_julia_static_analyzer.html

Cited in

(13)

• julia
• Panorama
• Pixy
• TaintDroid
• F4F
• TAJ
• Aletheia
• BackFlow
• MorphDroid
• Sails
• Checking array bounds by abstract interpretation and symbolic expressions
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
• Inferring complete initialization of arrays

This page was built for software: Julia Static Analyzer