Skip to content

Commit

Permalink
Update example filter output files in doc/
Browse files Browse the repository at this point in the history 
* doc/dst-host-192.68.1.1-and-greater-100.md:
* doc/host-127.0.0.1.md:
* doc/host-ipv6-localhost.md:
* doc/icmp-or-tcp-or-udp.md:
* doc/net-127.0.0.0-8.md:
* doc/net-ipv6-0-mask-16.md:
* doc/net-ipv6-ee.cc.9954.0-mask-111.md:
* doc/portrange-0-6000.md:
* doc/src-host-192.68.1.1-and-less-100.md:
* doc/src-net-ffff.ffff.eeee.eeee.0.0.0.0-72.md:
* doc/src-net-ffff.ffff.eeee.eeee.1.0.0.0-82.md:
* doc/tcp-port-80.md: Update output for new backend.
  • Loading branch information
@wingo
wingo committed Dec 17, 2014
1 parent de02bac commit c2fa3cf
Show file tree
Hide file tree
Showing 12 changed files with 194 additions and 441 deletions.
30 changes: 11 additions & 19 deletions doc/dst-host-192.68.1.1-and-greater-100.md
View file
Expand Up @@ -53,27 +53,19 @@ end

```
return function(P,length)
if not (length >= 100) then do return false end end
if length < 100 then return false end
local var1 = cast("uint16_t*", P+12)[0]
if var1 == 8 then
return cast("uint32_t*", P+30)[0] == 16860352
end
if var1 == 1544 then goto L8 end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 8) then goto L3 end
do
local v2 = ffi.cast("uint32_t*", P+30)[0]
do return v2 == 16860352 end
end
::L3::
do
if v1 == 1544 then goto L4 end
do
if not (v1 == 13696) then do return false end end
end
::L4::
do
local v3 = ffi.cast("uint32_t*", P+38)[0]
do return v3 == 16860352 end
end
end
if var1 == 13696 then goto L8 end
return false
end
::L8::
return cast("uint32_t*", P+38)[0] == 16860352
end
```

43 changes: 14 additions & 29 deletions doc/host-127.0.0.1.md
View file
Expand Up @@ -59,38 +59,23 @@ end

```
return function(P,length)
if not (length >= 34) then do return false end end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 8) then goto L3 end
if length < 34 then return false end
local var1 = cast("uint16_t*", P+12)[0]
if var1 == 8 then
if cast("uint32_t*", P+26)[0] == 16777343 then return true end
return cast("uint32_t*", P+30)[0] == 16777343
else
if length < 42 then return false end
if var1 == 1544 then goto L12 end
do
local v2 = ffi.cast("uint32_t*", P+26)[0]
if v2 == 16777343 then do return true end end
do
local v3 = ffi.cast("uint32_t*", P+30)[0]
do return v3 == 16777343 end
end
end
::L3::
do
if not (length >= 42) then do return false end end
do
if v1 == 1544 then goto L6 end
do
if not (v1 == 13696) then do return false end end
end
::L6::
do
local v4 = ffi.cast("uint32_t*", P+28)[0]
if v4 == 16777343 then do return true end end
do
local v5 = ffi.cast("uint32_t*", P+38)[0]
do return v5 == 16777343 end
end
end
end
if var1 == 13696 then goto L12 end
return false
end
::L12::
if cast("uint32_t*", P+28)[0] == 16777343 then return true end
return cast("uint32_t*", P+38)[0] == 16777343
end
end
```

49 changes: 13 additions & 36 deletions doc/host-ipv6-localhost.md
View file
Expand Up @@ -73,44 +73,21 @@ end

```
return function(P,length)
if not (length >= 54) then do return false end end
if length < 54 then return false end
if cast("uint16_t*", P+12)[0] ~= 56710 then return false end
if cast("uint32_t*", P+22)[0] ~= 0 then goto L9 end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 56710) then do return false end end
do
local v2 = ffi.cast("uint32_t*", P+22)[0]
if not (v2 == 0) then goto L3 end
do
local v3 = ffi.cast("uint32_t*", P+26)[0]
if not (v3 == 0) then goto L3 end
do
local v4 = ffi.cast("uint32_t*", P+30)[0]
if not (v4 == 0) then goto L3 end
do
local v5 = ffi.cast("uint32_t*", P+34)[0]
if v5 == 16777216 then do return true end end
end
end
end
::L3::
do
local v6 = ffi.cast("uint32_t*", P+38)[0]
if not (v6 == 0) then do return false end end
do
local v7 = ffi.cast("uint32_t*", P+42)[0]
if not (v7 == 0) then do return false end end
do
local v8 = ffi.cast("uint32_t*", P+46)[0]
if not (v8 == 0) then do return false end end
do
local v9 = ffi.cast("uint32_t*", P+50)[0]
do return v9 == 16777216 end
end
end
end
end
end
if cast("uint32_t*", P+26)[0] ~= 0 then goto L9 end
if cast("uint32_t*", P+30)[0] ~= 0 then goto L9 end
if cast("uint32_t*", P+34)[0] == 16777216 then return true end
goto L9
end
::L9::
if cast("uint32_t*", P+38)[0] ~= 0 then return false end
if cast("uint32_t*", P+42)[0] ~= 0 then return false end
if cast("uint32_t*", P+46)[0] ~= 0 then return false end
return cast("uint32_t*", P+50)[0] == 16777216
end
```

87 changes: 28 additions & 59 deletions doc/icmp-or-tcp-or-udp.md
View file
Expand Up @@ -58,70 +58,39 @@ end

```
return function(P,length)
if not (length >= 34) then do return false end end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 8) then goto L3 end
if length < 34 then return false end
local var1 = cast("uint16_t*", P+12)[0]
if var1 == 8 then
local var2 = P[23]
if var2 == 1 then return true end
if var2 == 6 then return true end
return var2 == 17
else
if length < 54 then return false end
if var1 ~= 56710 then return false end
local var6 = P[20]
if var6 == 1 then return true end
if length < 55 then return false end
if var6 ~= 44 then goto L19 end
do
local v2 = P[23]
if v2 == 1 then do return true end end
do
if v2 == 6 then do return true end end
end
do
do return v2 == 17 end
end
if P[54] == 1 then return true end
goto L19
end
::L3::
::L19::
if var6 == 6 then return true end
if length < 55 then return false end
if var6 ~= 44 then goto L17 end
do
if not (length >= 54) then do return false end end
do
if not (v1 == 56710) then do return false end end
do
local v3 = P[20]
if v3 == 1 then do return true end end
do
if not (length >= 55) then do return false end end
do
if not (v3 == 44) then goto L9 end
do
local v4 = P[54]
if v4 == 1 then do return true end end
end
end
end
::L9::
do
if v3 == 6 then do return true end end
do
if not (length >= 55) then do return false end end
do
if not (v3 == 44) then goto L8 end
do
local v5 = P[54]
if v5 == 6 then do return true end end
end
end
end
end
::L8::
do
if v3 == 17 then do return true end end
do
if not (length >= 55) then do return false end end
do
if not (v3 == 44) then do return false end end
do
local v6 = P[54]
do return v6 == 17 end
end
end
end
end
end
end
if P[54] == 6 then return true end
goto L17
end
::L17::
if var6 == 17 then return true end
if length < 55 then return false end
if var6 ~= 44 then return false end
return P[54] == 17
end
end
```

47 changes: 14 additions & 33 deletions doc/net-127.0.0.0-8.md
View file
Expand Up @@ -67,42 +67,23 @@ end

```
return function(P,length)
if not (length >= 34) then do return false end end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 8) then goto L3 end
if length < 34 then return false end
local var1 = cast("uint16_t*", P+12)[0]
if var1 == 8 then
if band(cast("uint32_t*", P+26)[0],255) == 127 then return true end
return band(cast("uint32_t*", P+30)[0],255) == 127
else
if length < 42 then return false end
if var1 == 1544 then goto L12 end
do
local v2 = ffi.cast("uint32_t*", P+26)[0]
local v3 = bit.band(v2,255)
if v3 == 127 then do return true end end
do
local v4 = ffi.cast("uint32_t*", P+30)[0]
local v5 = bit.band(v4,255)
do return v5 == 127 end
end
end
::L3::
do
if not (length >= 42) then do return false end end
do
if v1 == 1544 then goto L6 end
do
if not (v1 == 13696) then do return false end end
end
::L6::
do
local v6 = ffi.cast("uint32_t*", P+28)[0]
local v7 = bit.band(v6,255)
if v7 == 127 then do return true end end
do
local v8 = ffi.cast("uint32_t*", P+38)[0]
local v9 = bit.band(v8,255)
do return v9 == 127 end
end
end
end
if var1 == 13696 then goto L12 end
return false
end
::L12::
if band(cast("uint32_t*", P+28)[0],255) == 127 then return true end
return band(cast("uint32_t*", P+38)[0],255) == 127
end
end
```

20 changes: 5 additions & 15 deletions doc/net-ipv6-0-mask-16.md
View file
Expand Up @@ -42,21 +42,11 @@ end

```
return function(P,length)
if not (length >= 54) then do return false end end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 56710) then do return false end end
do
local v2 = ffi.cast("uint32_t*", P+22)[0]
local v3 = bit.band(v2,65535)
if v3 == 0 then do return true end end
do
local v4 = ffi.cast("uint32_t*", P+38)[0]
local v5 = bit.band(v4,65535)
do return v5 == 0 end
end
end
end
if length < 54 then return false end
if cast("uint16_t*", P+12)[0] ~= 56710 then return false end
if band(cast("uint32_t*", P+22)[0],65535) == 0 then return true end
return band(cast("uint32_t*", P+38)[0],65535) == 0
end
```

51 changes: 13 additions & 38 deletions doc/net-ipv6-ee.cc.9954.0-mask-111.md
View file
Expand Up @@ -77,46 +77,21 @@ end

```
return function(P,length)
if not (length >= 54) then do return false end end
if length < 54 then return false end
if cast("uint16_t*", P+12)[0] ~= 56710 then return false end
if cast("uint32_t*", P+22)[0] ~= 3422612992 then goto L9 end
do
local v1 = ffi.cast("uint16_t*", P+12)[0]
if not (v1 == 56710) then do return false end end
do
local v2 = ffi.cast("uint32_t*", P+22)[0]
if not (v2 == 3422612992) then goto L3 end
do
local v3 = ffi.cast("uint32_t*", P+26)[0]
if not (v3 == 0) then goto L3 end
do
local v4 = ffi.cast("uint32_t*", P+30)[0]
if not (v4 == 0) then goto L3 end
do
local v5 = ffi.cast("uint32_t*", P+34)[0]
local v6 = bit.band(v5,65279)
if v6 == 21657 then do return true end end
end
end
end
::L3::
do
local v7 = ffi.cast("uint32_t*", P+38)[0]
if not (v7 == 3422612992) then do return false end end
do
local v8 = ffi.cast("uint32_t*", P+42)[0]
if not (v8 == 0) then do return false end end
do
local v9 = ffi.cast("uint32_t*", P+46)[0]
if not (v9 == 0) then do return false end end
do
local v10 = ffi.cast("uint32_t*", P+50)[0]
local v11 = bit.band(v10,65279)
do return v11 == 21657 end
end
end
end
end
end
if cast("uint32_t*", P+26)[0] ~= 0 then goto L9 end
if cast("uint32_t*", P+30)[0] ~= 0 then goto L9 end
if band(cast("uint32_t*", P+34)[0],65279) == 21657 then return true end
goto L9
end
::L9::
if cast("uint32_t*", P+38)[0] ~= 3422612992 then return false end
if cast("uint32_t*", P+42)[0] ~= 0 then return false end
if cast("uint32_t*", P+46)[0] ~= 0 then return false end
return band(cast("uint32_t*", P+50)[0],65279) == 21657
end
```

0 comments on commit c2fa3cf

Please sign in to comment.