Awesome GitHub RepositoriesModule Call Analysis

TFLint est un outil d'analyse statique et un validateur d'infrastructure-en-tant-que-code conçu pour identifier les erreurs et appliquer les meilleures pratiques au sein des fichiers de configuration Terraform. Il fonctionne comme une porte de qualité pour les flux de travail automatisés et un serveur de langage qui fournit des diagnostics en temps réel et des erreurs de linting directement au sein des éditeurs de texte pris en charge. Le projet utilise un framework de plugin gRPC qui permet l'intégration de règles de validation spécifiques au fournisseur personnalisées via des binaires indépendants et un SDK dédié. Cette architecture sépare la logique de linting de base de la validation spécifique au cloud, prenant en charge l'installation automatisée d'ensembles de règles externes pour vérifier les propriétés des ressources par rapport aux spécifications officielles. Le moteur d'analyse résout les valeurs de configuration et évalue les fonctions intégrées, développant les blocs dynamiques et les collections de ressources pour inspecter la structure finale instanciée. Il couvre l'application des normes de codage, l'analyse des appels de module et la détection des attributs de ressource invalides, avec la possibilité d'exporter des résultats structurés dans des formats tels que SARIF. L'outil inclut une interface en ligne de commande pour le filtrage des cibles d'analyse et fournit une correction automatique des problèmes pour les règles prises en charge.

Ce projet est une suite complète de rétro-ingénierie Android qui fonctionne comme un décompilateur, un désobfuscateur de bytecode et un outil d'analyse de malware. Il est conçu pour convertir les binaires APK, DEX et OAT en code source lisible par l'homme en utilisant une implémentation native qui ne nécessite pas de machine virtuelle Java. La plateforme se distingue par son intégration avec Frida pour l'analyse dynamique, permettant aux utilisateurs de hooker des méthodes, d'injecter du JavaScript personnalisé et de dumper la mémoire de l'appareil en temps réel. Elle dispose également de moteurs de sécurité spécialisés, incluant un moteur de propagation de taint et une machine à états de pile, pour détecter les fuites de confidentialité, les comportements malveillants et les vulnérabilités de sécurité. La suite couvre un large éventail de capacités analytiques, incluant le patching et le repackaging de binaires, le mappage des dépendances par références croisées et l'analyse de flux de données. Elle fournit des outils pour l'identification des packers logiciels, le décodage de chaînes chiffrées et la recherche globale de métadonnées à travers les ressources de l'application. L'outil fournit une interface en ligne de commande et prend en charge l'automatisation de l'analyse via des scripts Python ou Java personnalisés.