1 files changed, 21 insertions, 0 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/instruction/1533141 b/results/classifier/zero-shot-user-mode/output/instruction/1533141
new file mode 100644
index 00000000..990465d4
--- /dev/null
+++ b/results/classifier/zero-shot-user-mode/output/instruction/1533141
@@ -0,0 +1,21 @@
+instruction: 0.494
+runtime: 0.309
+syscall: 0.196
+
+
+
+qemu/disas/libvixl/vixl/invalset.h: 2 * sanity check after use ?
+
+1.
+
+[qemu/disas/libvixl/vixl/invalset.h:442]: (style) Array index 'low' is used before limits check.
+
+ while (!IsValid(elements[low]) && (low < high)) ++low;
+
+2.
+
+[qemu/disas/libvixl/vixl/invalset.h:450]: (style) Array index 'middle' is used before limits check.
+
+  while (!IsValid(elements[middle]) && (middle < high - 1)) ++middle;
+
+Also, binary search is a standard C library routine. Suggest use.
\ No newline at end of file