Announcement

Collapse
No announcement yet.

GCC 12's Static Analyzer Gaining Initial Assembly Support

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • GCC 12's Static Analyzer Gaining Initial Assembly Support

    Phoronix: GCC 12's Static Analyzer Gaining Initial Assembly Support

    Merged into the GNU Compiler Collection development code on Wednesday was an initial implementation of Assembly support for its analyzer...

    https://www.phoronix.com/scan.php?pa...2-Analyzer-ASM

  • #2
    still waiting for https://github.com/isocpp/CppCoreGui...s/Lifetime.pdf support

    Comment


    • #3
      Is anybody implementing it? I fear a high false positive rate.

      Comment


      • #4
        Originally posted by oleid View Post
        Is anybody implementing it? I fear a high false positive rate.
        Yeah, will require code-to-strict-specs, gonna be messy to retrofit existing code

        As for implementing, there is a clang branch, accessible in https://godbolt.org.
        Clion recently added support.
        And there was/is some effort for Visual studio but I know little about that

        Comment

        Working...
        X