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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java code examples for Amazon CodeGuru Reviewer☆25Dec 14, 2023Updated 2 years ago
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated last year
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Model Context Protocol (MCP) server that interacts with a Debugger☆37Sep 24, 2025Updated 7 months 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
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 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
- ☆18Nov 17, 2025Updated 5 months ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- ☆18Nov 24, 2025Updated 5 months ago
- Global network with development, production and on-prem networks using Transit Gateway☆13Sep 11, 2025Updated 7 months ago
- In this workshop we will build a pipeline for a sample WordPress site in a stack. We will explore how to validate, lint and test template…☆18May 20, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- Demo about Eclipse IDE, Che, LSP4E, LSP4J and JDT-LS related to the Language Server Protocol☆12Dec 7, 2018Updated 7 years ago
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Apr 18, 2026Updated last week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Jul 14, 2025Updated 9 months ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- This project shows the demos about how to generate stable diffusion images using AWS SageMaker Jumpstat.☆20Apr 12, 2024Updated 2 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆27May 28, 2020Updated 5 years ago
- Sample code for resizing Images with Lambda@Edge using the Custom Origin. You can deploy using AWS CDK.☆29Jun 18, 2024Updated last year
- 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 2 years ago
- 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
- 简明自制编程语言教程，同时是antlr非官方参考🌰。这里也是cyson这门语言的缘起。☆34Jan 22, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- 1 click deployment for creating AWS WAF dashboard☆40May 21, 2024Updated last year
- [WIP] OpenSource Android Money-Management App☆33Mar 22, 2016Updated 10 years ago
- About NOSH ChartingSystem is an electronic health record system designed exclusively for doctors and patients.☆10Mar 30, 2025Updated last year
- MQTT/WebSocket Bridge library and binary for Node.js☆11Apr 8, 2014Updated 12 years ago
- This is sample code for Paho MQTT server with Python 2.7☆10Mar 29, 2016Updated 10 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago