2 search results for "author:"Michael Schwarz""
            Showing 1 - 2
          
        - 
            
            Static analysis framework for C2.6.0MITUsed by 0 other packages05 Sep 2025
 - 
            
            A front-end for the C programming language that facilitates program analysis and transformation2.0.8BSD-3-ClauseUsed by 3 other packages23 Oct 2025