Julia Static Analyzer

swMATH28173MaRDI QIDQ39887FDOQ39887

Author name not available (Why is that?)

Cited In (3)

• 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