https://github.com/v4kst1z/TIP

Static Program Analysis for TIP, in Rust
https://github.com/v4kst1z/TIP

rust static-analysis tip

Last synced: about 1 month ago
JSON representation

Static Program Analysis for TIP, in Rust

• Host: GitHub
• URL: https://github.com/v4kst1z/TIP
• Owner: v4kst1z
• Created: 2020-04-19T10:16:17.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2020-11-21T12:42:39.000Z (over 3 years ago)
• Last Synced: 2024-02-11T14:02:30.391Z (5 months ago)
• Topics: rust, static-analysis, tip
• Language: Rust
• Homepage:
• Size: 58.6 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - TIP - imperative programming language aimed at teaching fundamental concepts of static program analysis. (Programming Language / Libraries)

README

        
TIP

=======================

TIP is a tiny imperative programming language aimed at teaching the fundamental concepts of static program analysis.  [Static Program Analysis](https://cs.au.dk/~amoeller/spa/) (Just a toy)

### ANALYSES

* Type Analysis