This project demonstrates how to deploy a Java-based application on AWS with a secure and scalable architecture. It uses Amazon EC2 for hosting the application and Nginx as a reverse proxy to ...

This repository contains a proof-of-concept implementation that uses symbolic execution and SMT solving to detect type errors in programs with complex type hierarchies, generics, and union types.