meteoritt / topalias Star 43 Code Issues Pull requests Linux bash/zsh aliases generator python linux shell bash zsh cli console terminal command history aliases alias cmd top alias-loader aliasing alias-analysis aliases-setup alias-management Updated Dec 23, 2022 Python
PrincetonUniversity / SCAF Star 28 Code Issues Pull requests A Speculation-Aware Collaborative Dependence Analysis Framework llvm static-analysis memory-analysis speculation dependence-analysis alias-analysis Updated Jun 29, 2024 C++
nunoplopes / llvm-aa-verif Star 5 Code Issues Pull requests Verification of LLVM's alias analysis proof rules llvm verification alias-analysis Updated Aug 9, 2018 Python
compor / TargetLibraryInfoAliasAnalysis Star 2 Code Issues Pull requests A LLVM Alias Analysis pass based on Target Library Information compiler llvm compiler-passes alias-analysis Updated Feb 21, 2019 C++
Tai-e / Cut-Shortcut Star 0 Code Issues Pull requests Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis java pointer-analysis alias-analysis context-sensitivity Updated Oct 26, 2023