Does Scribble extend my code

Yes, Scribble translates the annotations into checks and inserts them in the code automatically. The result is instrumented code the Fuzzer can work with.