<p>fixeria has uploaded this change for <strong>review</strong>.</p><p><a href="https://gerrit.osmocom.org/c/libosmocore/+/17220">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">tests/bitvec: add a unit test for bitvec_read_field()<br><br>The aim of this unit test is to demonstrate the problem described<br>in OS#4388: bitvec_read_field() can never return negative value<br>on error (e.g. out of bounds access).<br><br>Change-Id: I340ab5799fa53d5345edb02f3e2a3655527705c0<br>Related: OS#4388<br>---<br>M tests/bitvec/bitvec_test.c<br>M tests/bitvec/bitvec_test.ok<br>2 files changed, 60 insertions(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://gerrit.osmocom.org:29418/libosmocore refs/changes/20/17220/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/tests/bitvec/bitvec_test.c b/tests/bitvec/bitvec_test.c</span><br><span>index fbf5c5d..b4764e6 100644</span><br><span>--- a/tests/bitvec/bitvec_test.c</span><br><span>+++ b/tests/bitvec/bitvec_test.c</span><br><span>@@ -222,6 +222,45 @@</span><br><span>       }</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+static void test_bitvec_read_field(void)</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+       uint8_t data[8] = { 0xde, 0xad, 0xbe, 0xef, 0xfe, 0xeb, 0xda, 0xed };</span><br><span style="color: hsl(120, 100%, 40%);">+ struct bitvec bv = {</span><br><span style="color: hsl(120, 100%, 40%);">+          .data_len = sizeof(data),</span><br><span style="color: hsl(120, 100%, 40%);">+             .data = data,</span><br><span style="color: hsl(120, 100%, 40%);">+         .cur_bit = 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+  unsigned int readIndex;</span><br><span style="color: hsl(120, 100%, 40%);">+       uint64_t field;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+#define _bitvec_read_field(idx, len) \</span><br><span style="color: hsl(120, 100%, 40%);">+     readIndex = idx; \</span><br><span style="color: hsl(120, 100%, 40%);">+    field = bitvec_read_field(&bv, &readIndex, len); \</span><br><span style="color: hsl(120, 100%, 40%);">+    printf("bitvec_read_field(idx=%u, len=%u) => %" PRIx64 "\n", idx, len, field);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+       _bitvec_read_field(0, 64);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(0, 32);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(0, 16);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(0, 8);</span><br><span style="color: hsl(120, 100%, 40%);">+     _bitvec_read_field(0, 0);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+   _bitvec_read_field(8, 8);</span><br><span style="color: hsl(120, 100%, 40%);">+     _bitvec_read_field(8, 4);</span><br><span style="color: hsl(120, 100%, 40%);">+     _bitvec_read_field(8, 0);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+   _bitvec_read_field(10, 9);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(10, 7);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(10, 5);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(10, 3);</span><br><span style="color: hsl(120, 100%, 40%);">+    _bitvec_read_field(10, 1);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+  /* Out of bounds (see OS#4388) */</span><br><span style="color: hsl(120, 100%, 40%);">+     _bitvec_read_field(8 * 8 * 8, 16); /* index too far */</span><br><span style="color: hsl(120, 100%, 40%);">+        _bitvec_read_field(0, 8 * 8 + 1); /* too many bits */</span><br><span style="color: hsl(120, 100%, 40%);">+ _bitvec_read_field(8 * 8, 16); /* 16 bits past */</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> int main(int argc, char **argv)</span><br><span> {</span><br><span>       struct bitvec bv;</span><br><span>@@ -331,6 +370,9 @@</span><br><span>      test_used_bytes();</span><br><span>   test_tailroom();</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+  printf("\ntest bitvec_read_field():\n");</span><br><span style="color: hsl(120, 100%, 40%);">+    test_bitvec_read_field();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span>  printf("\nbitvec ok.\n");</span><br><span>  return 0;</span><br><span> }</span><br><span>diff --git a/tests/bitvec/bitvec_test.ok b/tests/bitvec/bitvec_test.ok</span><br><span>index fa8143c..b118502 100644</span><br><span>--- a/tests/bitvec/bitvec_test.ok</span><br><span>+++ b/tests/bitvec/bitvec_test.ok</span><br><span>@@ -170,4 +170,22 @@</span><br><span> </span><br><span> bitvec bytes used.</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+test bitvec_read_field():</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=64) => deadbeeffeebdaed</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=32) => deadbeef</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=16) => dead</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=8) => de</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=0) => 0</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=8, len=8) => ad</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=8, len=4) => a</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=8, len=0) => 0</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=10, len=9) => 16d</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=10, len=7) => 5b</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=10, len=5) => 16</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=10, len=3) => 5</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=10, len=1) => 1</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=512, len=16) => ffffffffffffffea</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=0, len=65) => ffffffffffffffea</span><br><span style="color: hsl(120, 100%, 40%);">+bitvec_read_field(idx=64, len=16) => ffffffffffffffea</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> bitvec ok.</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/libosmocore/+/17220">change 17220</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/libosmocore/+/17220"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libosmocore </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: I340ab5799fa53d5345edb02f3e2a3655527705c0 </div>
<div style="display:none"> Gerrit-Change-Number: 17220 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: fixeria <axilirator@gmail.com> </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>