Projects in Awesome Lists tagged with alias-analysis
A curated list of projects in awesome lists tagged with alias-analysis .
https://github.com/meteoritt/topalias
Linux bash/zsh aliases generator
alias alias-analysis alias-loader alias-management aliases aliases-setup aliasing bash cli cmd command console history linux python shell terminal top zsh
Last synced: 16 Apr 2025
https://github.com/princetonuniversity/scaf
A Speculation-Aware Collaborative Dependence Analysis Framework
alias-analysis dependence-analysis llvm memory-analysis speculation static-analysis
Last synced: 09 Jul 2025
https://github.com/nunoplopes/llvm-aa-verif
Verification of LLVM's alias analysis proof rules
alias-analysis llvm verification
Last synced: 16 Apr 2025
