TheDog

stuck when find gadgets in vmlinux

2

 it stuck for a long time when I try to find gadgets in vmlinux for many times

Array out of bounds caused by eblock->nr_files

1

function simplefs_create() miss check whether eblock->nr_files bigger than SIMPLEFS_MAX_SUBFILES so when eblock->nr_files is large, ``eblock->extents[ei].ee_start `` will cause array out of bounds problem ```c static int simplefs_create(struct inode* dir, struct...

Hi, this issue related to [this one](https://github.com/soot-oss/soot/issues/1411) I am using the Doop framework, which relies on Soot to generate IR. The classes annotated by @Controller in Spring Framework are entry...

Hi, I want to enable soot soot optimization for dead code elimination, so I insert some code into `org.clyze.doop.soot.Main.produceFacts()`, But after running, it is found that the generated fact has...

https://clyze.jfrog.io seems to be offline

3

when i build doop i got such messages: ``` Could not determine the dependencies of task ':generators:fact-generator-common:shadowJar'. > Could not resolve all dependencies for configuration ':generators:fact-generator-common:compileClasspath'. > Could not resolve...

according to `V8Profile`, it alway wrap generated program in followed template : ```js function main() { const fhash = fuzzilli_hash; ... gc(); } %NeverOptimizeFunction(main); main(); ``` May I ask why...

Unknown Architecture: x86_64h

1

Hello, I have installed lldb15, ``` lldb-1500.0.200.58 Apple Swift version 5.9.2 (swiftlang-5.9.2.2.56 clang-1500.1.0.2.5) ``` and I get the following error when using llef ``` Architecture set to: x86_64h-apple-macosx-. (lldb) si...

wat2wasm doesn't support wasm GC?

1

code example: ```wasm ;; wat2wasm --enable-gc ./test.wat (module (type $i32_arr (array (mut i32)) ) (func $createArray (param $len i32) (result i32) (array.new $i32_arr (i32.const 42) ;; initial value (local.get $len)...

Hello, I am studying `ExplorationMutator`, and I think it is a good idea to assist mutation through runtime information. But I found that after detecting the type of the object,...

Optimizing weights through the MAB algorithm

2

Hello, I've noticed that in Fuzzilli, Mutators, CodeGenerators, and Templates all use fixed weights for selection, which I believe is not suitable. Here are some experiments I've done: the probability...