Julia Static Analyzer

swMATH28173MaRDI QIDQ39887FDOQ39887

Author name not available (Why is that?)

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