Python code examples for Amazon CodeGuru Reviewer
☆24May 1, 2024Updated last year
Alternatives and similar repositories for amazon-codeguru-python-detectors
Users that are interested in amazon-codeguru-python-detectors are comparing it to the libraries listed below
Sorting:
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated last year
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- Parallel Delta Debugging Framework☆55Nov 23, 2025Updated 3 months ago
- Notepad++ plugin to support the Language Server Protocol (LSP)☆20Jan 28, 2019Updated 7 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆15Feb 26, 2026Updated 3 weeks ago
- ☆15Jun 1, 2021Updated 4 years ago
- ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that…☆13Oct 20, 2023Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- ☆14May 17, 2017Updated 8 years ago
- Kinesis Data Analytics Blueprints are a curated collection of Apache Flink applications. Each blueprint will walk you through how to solv…☆18Aug 30, 2023Updated 2 years ago
- ☆18Nov 24, 2025Updated 3 months ago
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Dec 15, 2025Updated 3 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- ☆15Nov 12, 2025Updated 4 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- ☆24Jul 20, 2023Updated 2 years ago
- This project shows the demos about how to generate stable diffusion images using AWS SageMaker Jumpstat.☆20Apr 12, 2024Updated last year
- In this workshop, you will learn techniques to implement your Disaster Recovery strategies based on AWS multi-region approach. Questions?…☆25May 21, 2024Updated last year
- ☆20Jul 15, 2023Updated 2 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- Detect AWS usage anomalies in near-real time using OpenSearch Anomaly Detection and CloudTrail for improved cost management and security☆32May 21, 2024Updated last year
- This pattern describes how to use AWS Control Tower Controls, AWS Cloud Development Kit (CDK) and infrastructure as code to implement and…☆42Feb 11, 2026Updated last month
- This project provides a demonstration of up to 10,000 industrial assets, each with four tags, that can flow data through AWS IoT SiteWise…☆21Oct 17, 2023Updated 2 years ago
- Lelylan API proxy☆13Dec 12, 2016Updated 9 years ago
- Framework model for static analysis of Android☆46Jul 13, 2016Updated 9 years ago
- Workshop to showcase how to perform IoT data analytics at the edge using AWS IoT Greengrass.☆27Oct 20, 2023Updated 2 years ago
- This is an open-source sample of a CDK script which deploys an Elastic Beanstalk application with a hardened security configuration, it a…☆37Apr 12, 2024Updated last year
- 简明自制编程语言教程，同时是antlr非官方参考🌰。这里也是cyson这门语言的缘起。☆33Jan 22, 2026Updated last month
- A tutorial for developers, DBAs and data engineers to get hands-on experience on how to migrate relational data to AWS purpose-built dat…☆33Jan 17, 2024Updated 2 years ago
- ☆43Jun 28, 2025Updated 8 months ago
- 1 click deployment for creating AWS WAF dashboard☆41May 21, 2024Updated last year
- check all of the things!☆49Feb 3, 2026Updated last month
- MQTT/WebSocket Bridge library and binary for Node.js☆11Apr 8, 2014Updated 11 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 3 years ago
- Sample of a decoupled audit service using Amazon EventBridge and AWS Step Functions. Provisioned with AWS CDK.☆45Feb 18, 2025Updated last year
- SRI Sally: A model checker for infinite-state systems.☆77Jul 31, 2025Updated 7 months ago
- Application for checking performance of elevator group system in building using simulation method.☆12Nov 9, 2017Updated 8 years ago