Awesome GitHub RepositoriesDeep Pointer Resolution

Lancet est une extension complète de la bibliothèque standard Go, fournissant une collection de fonctions réutilisables et de structures de données conçues pour réduire le code répétitif (boilerplate) dans les applications. Il sert de boîte à outils polyvalente couvrant plusieurs domaines, dont la concurrence, la sécurité, le réseau et la logique fonctionnelle. Le projet se distingue par des outils spécialisés pour la concurrence en Go, tels que le verrouillage par clé et le traitement de flux basé sur les canaux, ainsi qu'un kit de programmation fonctionnelle dédié qui prend en charge le currying et la composition de fonctions. Il inclut également une bibliothèque de cryptographie dédiée implémentant le chiffrement symétrique et asymétrique via les standards AES, RSA et SM. La bibliothèque couvre un large éventail de domaines, incluant des structures de données avancées comme les caches LRU et les arbres de recherche binaire, le calcul mathématique pour l'algèbre et les statistiques, et l'intégration au système d'exploitation pour la gestion des processus et des fichiers. Elle fournit en outre des utilitaires pour le réseau HTTP, la manipulation de dates et d'heures, et le traitement de données de haut niveau comme l'algèbre des ensembles et l'évaluation de flux paresseux.

Phasar is a static analysis framework designed for the inspection of software logic through the processing of compiler intermediate representations. It provides a modular pipeline for building program representations, including call graphs, control flow graphs, and type hierarchies, which serve as the foundation for deep structural analysis of software behavior. The framework specializes in interprocedural data flow analysis and pointer alias resolution, enabling the tracking of information movement across function boundaries and the identification of indirect memory access patterns. By lever