Automated reasoning features and tools help you achieve provable security for your applications, which means higher assurance in the security of the cloud and in the cloud.
Use automated reasoning to detect security vulnerabilities in your code
Amazon CodeGuru Reviewer
Perform static code analysis and finds bugs in development. Learn more.
Monitor, preview, and validate public and cross-account access by using automated reasoning
IAM Access Analyzer
Continuously set fine-grained permissions, verify intended permissions, and refine permissions by removing unused access. Learn more.
Amazon S3 Block Public Access
Block possible misconfigurations that could lead to public access of your S3 buckets and objects. Learn more.
Understand, verify, and improve your network security posture
Amazon VPC Network Access Analyzer
Understand potential network paths to your resources on AWS, and identify any potential unintended network access. Learn more.
Amazon VPC Reachability Analyzer
Debug, understand, and visualize connectivity in your AWS network. Learn more.
Amazon Inspector Network Reachability
Identify and analyze your network configurations to find security vulnerabilities of your EC2 instances. Learn more.
Learn more about IAM features