fix: Missing type narrowing check for *STORE operations

README.md

@@ -79,6 +79,12 @@ SimAnalzer analyzer = new SimAnalyzer(new SimInterpreter()) {
         // Allow better type checking, default uses system classpath
         return super.createTypeChecker();
     }
+
+     @Override
+    protected ParameterFactory createParameterFactory() {
+        // Allow the interpreter to be fed literal values for the parameters of the analyzed method
+        return super.createParameterFactory();
+    }
 };
 // Determine if we want to skip dead-code blocks
 analyzer.setSkipDeadCodeBlocks(true / false);

pom.xml

@@ -2,7 +2,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>me.coley</groupId>
 	<artifactId>analysis</artifactId>
-	<version>1.5.1</version>
+	<version>1.5.2</version>
 	<name>Sim Analyzer</name>
 	<description>An ASM analyzer that performs minimal simulations</description>
 	<!--

src/main/java/me/coley/analysis/SimInterpreter.java

@@ -419,9 +419,15 @@ public AbstractValue copyOperation(AbstractInsnNode insn, AbstractValue value) t
 				// DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP
 				break;
 		}
-		// Very simple type verification, don't try to mix primitives and non-primitives
+		// Very simple type verification
 		Type argType = value.getType();
 		if(insnType != null && argType != null) {
+			// Check if we are trying to store a wider value into a narrower type
+			if (!load && insnType.getSort() < argType.getSort()) {
+				throw new AnalyzerException(insn, "Cannot store wider type (" + argType.getDescriptor() +
+						") into narrower type: " + insnType.getDescriptor());
+			}
+			// Don't try to mix primitives and non-primitives
 			if(insnType.getSort() == Type.OBJECT && isPrimitive(argType))
 				throw new AnalyzerException(insn, "Cannot mix primitive value with type-variable instruction");
 			else if(argType.getSort() == Type.OBJECT && isPrimitive(insnType))

src/test/java/me/coley/analysis/validation/fail/TestCustomIllegalClasses.java

@@ -17,6 +17,7 @@
 public class TestCustomIllegalClasses extends TestUtils {
 	@ParameterizedTest
 	@ValueSource(strings =  {
+			"bin/custom/illegal/vars/DoubleStoreAsInt.class",
 			"bin/custom/illegal/vars/IntToObject.class",
 			"bin/custom/illegal/vars/LongToInt.class",
 			"bin/custom/illegal/vars/StringToInt.class"