Tagged | static-analysis

• Improving Go Service Reliability with Static Analysis

  (engineering.udacity.com)

  #software-engineering #GoLang #static-analysis

• How Two Interns Are Helping Secure Millions of Lines of Code

  (slack.engineering)

  #software-engineering #security #static-analysis

• Open-sourcing Mariana Trench: Analyzing Android and Java app security in depth

  (engineering.fb.com)

  #dev-tools #security #static-analysis

• Building a Concurrency Verifier Using Crucible

  (galois.com)

  #programming-languages #static-analysis #program-verification

• Open-sourcing SPARTA to make abstract interpretation easy

  (code.fb.com)

  #dev-tools #compilers #static-analysis #C++

• Paper review: “Lessons from Building Static Analysis Tools at Google”.

  (blog.sourced.tech)

  #dev-tools #research #static-analysis #parsing

• Using static analysis in Python, JavaScript and more to make your system safer

  (engineering.khanacademy.org)

  #dev-tools #software-engineering #compilers #static-analysis

• Finding inter-procedural bugs at scale with Infer static analyzer

  (code.facebook.com)

  #dev-tools #software-engineering #compilers #static-analysis