add check sort

androscalpel_serializer/src/annotation.rs

@@ -56,6 +56,18 @@ impl Serializable for EncodedAnnotation {
         for _ in 0..size {
             elements.push(AnnotationElement::deserialize(input)?);
         }
+        if !elements.is_empty() {
+            let mut idx_0 = elements[0].name_idx;
+            for idx_1 in elements.iter().map(|elt| elt.name_idx).skip(1) {
+                if idx_0 > idx_1 {
+                    // TODO: use proper logging
+                    println!(
+                        "Waring while deserializing EncodedAnnotation: element must be sorted in increasing order by string_id index, found {idx_0:?} before {idx_1:?}"
+                    );
+                }
+                idx_0 = idx_1;
+            }
+        }
         Ok(Self { type_idx, elements })
     }