Added fromJson methods JSON deserialization

Author: merendamattia

src/main/java/it/unipr/utils/PaperStatisticsObject.java

@@ -115,11 +115,35 @@ public static PaperStatisticsObject newStatisticsObject() {
 		return new PaperStatisticsObject();
 	}
 
+	/**
+	 * Constructs a PaperStatisticsObject from a JSON representation. Missing
+	 * fields are treated as zero/defaults.
+	 *
+	 * @param json the JSONObject containing statistics
+	 *
+	 * @return a built PaperStatisticsObject
+	 */
+	public static PaperStatisticsObject fromJson(org.json.JSONObject json) {
+		if (json == null)
+			return null;
+		return PaperStatisticsObject.newStatisticsObject()
+				.address(json.optString("address", ""))
+				.totalOpcodes(json.optInt("total_opcodes", 0))
+				.totalJumps(json.optInt("total_jumps", 0))
+				.totalEdges(json.optInt("total_edges", 0))
+				.resolved(json.optInt("resolved_jumps", 0))
+				.unreachable(json.optInt("unreachable_jumps", 0))
+				.erroneous(json.optInt("erroneous_jumps", 0))
+				.unknown(json.optInt("unknown_jumps", 0))
+				.topState(json.optInt("top_stack_head_jumps", 0))
+				.build();
+	}
+
 	/**
 	 * Sets the number of resolved jumps.
 	 *
 	 * @param resolved the resolved jumps
-	 * 
+	 *
 	 * @return the updated {@code PaperStatisticsObject} instance
 	 */
 	public PaperStatisticsObject resolved(int resolved) {
@@ -131,7 +155,7 @@ public PaperStatisticsObject resolved(int resolved) {
 	 * Sets the number of unreachable jumps.
 	 *
 	 * @param unreachable the unreachable jumps
-	 * 
+	 *
 	 * @return the updated {@code PaperStatisticsObject} instance
 	 */
 	public PaperStatisticsObject unreachable(int unreachable) {
@@ -143,7 +167,7 @@ public PaperStatisticsObject unreachable(int unreachable) {
 	 * Sets the number of erroneous jumps.
 	 *
 	 * @param erroneous the erroneous jumps
-	 * 
+	 *
 	 * @return the updated {@code PaperStatisticsObject} instance
 	 */
 	public PaperStatisticsObject erroneous(int erroneous) {
@@ -155,7 +179,7 @@ public PaperStatisticsObject erroneous(int erroneous) {
 	 * Sets the number of unknown jumps.
 	 *
 	 * @param unknown the unknown jumps
-	 * 
+	 *
 	 * @return the updated {@code PaperStatisticsObject} instance
 	 */
 	public PaperStatisticsObject unknown(int unknown) {
@@ -167,7 +191,7 @@ public PaperStatisticsObject unknown(int unknown) {
 	 * Sets the number of unknown jumps where the whole state was top.
 	 *
 	 * @param topState the unknown jumps where the whole state was top
-	 * 
+	 *
 	 * @return the updated {@code PaperStatisticsObject} instance
 	 */
 	public PaperStatisticsObject topState(int topState) {

src/main/java/it/unipr/utils/StandardStatisticsObject.java

@@ -116,11 +116,35 @@ public static StandardStatisticsObject newStatisticsObject() {
 		return new StandardStatisticsObject();
 	}
 
+	/**
+	 * Constructs a StandardStatisticsObject from a JSON representation. Missing
+	 * fields are treated as zero/defaults.
+	 *
+	 * @param json the JSONObject containing statistics
+	 *
+	 * @return a built StandardStatisticsObject
+	 */
+	public static StandardStatisticsObject fromJson(org.json.JSONObject json) {
+		if (json == null)
+			return null;
+		return StandardStatisticsObject.newStatisticsObject()
+				.address(json.optString("address", ""))
+				.totalOpcodes(json.optInt("total_opcodes", 0))
+				.totalJumps(json.optInt("total_jumps", 0))
+				.totalEdges(json.optInt("total_edges", 0))
+				.resolvedJumps(json.optInt("resolved_jumps", 0))
+				.definitelyUnreachableJumps(json.optInt("definitely_unreachable_jumps", 0))
+				.maybeUnreachableJumps(json.optInt("maybe_unreachable_jumps", 0))
+				.maybeUnsoundJumps(json.optInt("maybe_unsound_jumps", 0))
+				.unsoundJumps(json.optInt("unsound_jumps", 0))
+				.build();
+	}
+
 	/**
 	 * Sets the number of resolved jumps.
 	 *
 	 * @param resolvedJumps the resolved jumps
-	 * 
+	 *
 	 * @return the updated {@code StandardStatisticsObject} instance
 	 */
 	public StandardStatisticsObject resolvedJumps(int resolvedJumps) {
@@ -132,7 +156,7 @@ public StandardStatisticsObject resolvedJumps(int resolvedJumps) {
 	 * Sets the number of definitely unreachable jumps.
 	 *
 	 * @param definitelyUnreachableJumps the definitely unreachable jumps
-	 * 
+	 *
 	 * @return the updated {@code StandardStatisticsObject} instance
 	 */
 	public StandardStatisticsObject definitelyUnreachableJumps(int definitelyUnreachableJumps) {
@@ -144,7 +168,7 @@ public StandardStatisticsObject definitelyUnreachableJumps(int definitelyUnreach
 	 * Sets the number of maybe unreachable jumps.
 	 *
 	 * @param maybeUnreachableJumps the maybe unreachable jumps
-	 * 
+	 *
 	 * @return the updated {@code StandardStatisticsObject} instance
 	 */
 	public StandardStatisticsObject maybeUnreachableJumps(int maybeUnreachableJumps) {
@@ -156,7 +180,7 @@ public StandardStatisticsObject maybeUnreachableJumps(int maybeUnreachableJumps)
 	 * Sets the number of unsound jumps.
 	 *
 	 * @param unsoundJumps the unsound jumps
-	 * 
+	 *
 	 * @return the updated {@code StandardStatisticsObject} instance
 	 */
 	public StandardStatisticsObject unsoundJumps(int unsoundJumps) {
@@ -168,7 +192,7 @@ public StandardStatisticsObject unsoundJumps(int unsoundJumps) {
 	 * Sets the number of maybe unsound jumps.
 	 *
 	 * @param maybeUnsoundJumps the maybe unsound jumps
-	 * 
+	 *
 	 * @return the updated {@code StandardStatisticsObject} instance
 	 */
 	public StandardStatisticsObject maybeUnsoundJumps(int maybeUnsoundJumps) {

src/main/java/it/unipr/utils/VulnerabilitiesObject.java

@@ -62,11 +62,31 @@ public static VulnerabilitiesObject newVulnerabilitiesObject() {
 		return new VulnerabilitiesObject();
 	}
 
+	/**
+	 * Constructs a VulnerabilitiesObject from a JSON representation. Missing
+	 * fields are treated as zero/defaults.
+	 *
+	 * @param json the JSONObject containing vulnerabilities
+	 *
+	 * @return a built VulnerabilitiesObject
+	 */
+	public static VulnerabilitiesObject fromJson(org.json.JSONObject json) {
+		if (json == null)
+			return null;
+		return VulnerabilitiesObject.newVulnerabilitiesObject()
+				.reentrancy(json.optInt("reentrancy", 0))
+				.randomness(json.optInt("randomness_dependency", 0))
+				.possibleRandomness(json.optInt("randomness_dependency_possible", 0))
+				.txOrigin(json.optInt("tx_origin", 0))
+				.possibleTxOrigin(json.optInt("tx_origin_possible", 0))
+				.build();
+	}
+
 	/**
 	 * Sets the reentrancy vulnerability score.
 	 *
 	 * @param reentrancy the reentrancy score
-	 * 
+	 *
 	 * @return the updated {@code VulnerabilitiesObject} instance
 	 */
 	public VulnerabilitiesObject reentrancy(int reentrancy) {
@@ -78,7 +98,7 @@ public VulnerabilitiesObject reentrancy(int reentrancy) {
 	 * Sets the randomness dependency vulnerability score.
 	 *
 	 * @param randomness the randomness dependency score
-	 * 
+	 *
 	 * @return the updated {@code VulnerabilitiesObject} instance
 	 */
 	public VulnerabilitiesObject randomness(int randomness) {
@@ -90,7 +110,7 @@ public VulnerabilitiesObject randomness(int randomness) {
 	 * Sets the possible randomness dependency vulnerability score.
 	 *
 	 * @param possibleRandomness the possible randomness dependency score
-	 * 
+	 *
 	 * @return the updated {@code VulnerabilitiesObject} instance
 	 */
 	public VulnerabilitiesObject possibleRandomness(int possibleRandomness) {
@@ -102,7 +122,7 @@ public VulnerabilitiesObject possibleRandomness(int possibleRandomness) {
 	 * Sets the tx. origin vulnerability score.
 	 *
 	 * @param txOrigin the tx. origin score
-	 * 
+	 *
 	 * @return the updated {@code VulnerabilitiesObject} instance
 	 */
 	public VulnerabilitiesObject txOrigin(int txOrigin) {
@@ -130,7 +150,7 @@ public VulnerabilitiesObject possibleTxOrigin(int possibleTxOrigin) {
 	 *
 	 * @param cfg the EVM control-flow graph from which to extract vulnerability
 	 *                data
-	 * 
+	 *
 	 * @return a {@link VulnerabilitiesObject} containing detected
 	 *             vulnerabilities
 	 */