Checkmarx is available in the AWS Marketplace and we integrate with many AWS services. We also offer an AWS CDK plugin