
Provable Security Features
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.
Code
Use automated reasoning to detect security vulnerabilities in your code
Amazon CodeGuru Reviewer
Perform static code analysis and find bugs in development.
Network
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.
Amazon VPC Reachability Analyzer
Debug, understand, and visualize connectivity in your AWS network.
Amazon Inspector Network Reachability
Identify and analyze your network configurations to find security vulnerabilities of your Amazon EC2 instances.