The second defensive programming principle addresses a wide spread issue in programs where concepts are loosely modelled. This problem is a root cause for many insecure decisions. In this course, we formalise the problem into a number of anti patterns, then learn how to systematically address them using three implementation techniques.
It is important to consider selecting the appropriate data types to represent values in programming as these may lead to security vulnerabilities and complications in validation logic.
Data models must accurately represent business logic, making illegal states unrepresentable.
We will explore how to make unsafe states unrepresentable and ensure immutability.
We will explore what are Domain Primitives and how they help reducing many unsafe states in a program.
We will explore another way of making unsafe states unrepresentable, leading to more robust and safe code, eliminating possible inconsistencies and guiding the handling of all possible states.
