Sulley模糊框架中的位标志依赖关系

Question

我正试图用Sulley构建一个Fuzzer。我使用的协议有一个一字节的control字段。在该字段中设置的比特确定哪些字段可以跟随。现在我想知道如何使用Sulley中的dep参数来实现这种行为。唯一可用的dep_compare运算符是"==, !=, >, >=, <, <="，但我不认为我可以用这些运算符检查是否在另一个字段中设置了位。那么我该怎么做呢？

s_byte(0b1000000, "control_field")
# The following block shall be present if bit 7 is set in control_field
# I'd like to use something like 
# > control_field & 0b1000000 != 0 
# but I don't know how
if s_block_start("something_optional", dep="control_field", dep_compare="?"):
    s_short(0x1234, "optional")
s_block_end()

Answer 1

如果只想检查最高位，可以使用>=，因为0b10000000只是一个数字。

if s_block_start("something_optional", dep="control_field", dep_compare=">=", dep_value=0b10000000):

不过，如果您想检查低位，则需要实现自己的运算符。在sulley/blocks.py中，查找Block类及其render方法。有一大块if块应该不会太难修改。例如

        if self.dep_compare == "&" and self.dep_value & self.request.names[self.dep].value != self.dep_value:
            self.rendered = ""
            return