corpus

Author: mschwarzl

Sources/Fuzzilli/FuzzIL/Code.swift

@@ -241,14 +241,14 @@ public struct Code: Collection {
             }
 
             if instr.op is Await {
-                if !contextAnalyzer.context.contains(.asyncFunction)
-                {
-                    if contextAnalyzer.context.contains(.subroutine) {
-                        if !contextAnalyzer.context.contains(.method) && !contextAnalyzer.context.contains(.classMethod) {
-                            throw FuzzilliError.codeVerificationError("operation \(instr.op.name) inside an invalid context")
-                        }
-                    }
-                }
+                // if !contextAnalyzer.context.contains(.asyncFunction)
+                // {
+                //     if contextAnalyzer.context.contains(.subroutine) {
+                //         if !contextAnalyzer.context.contains(.method) && !contextAnalyzer.context.contains(.classMethod) && !contextAnalyzer.context.contains(.javascript) {
+                //             throw FuzzilliError.codeVerificationError("operation \(instr.op.name) inside an invalid context")
+                //         }
+                //     }
+                // }
                 // fall-through allow top-level await
             } else {
                 guard instr.op.requiredContext.isSubset(of: contextAnalyzer.context) else {

Sources/FuzzilliCli/Profiles/WorkerdProfile.swift

@@ -39,6 +39,8 @@ let workerdProfile = Profile(
 
         // Check that common crash types are detected.
         ("fuzzilli('FUZZILLI_CRASH', 0)", .shouldCrash),
+        ("fuzzilli('FUZZILLI_CRASH', 2)", .shouldCrash),
+        ("fuzzilli('FUZZILLI_CRASH', 3)", .shouldCrash),
     ],
 
     additionalCodeGenerators: [],

workerd-corpus-fs/append-operations.js

@@ -0,0 +1,14 @@
+
+function testAppend() {
+  // Append operations
+  let data = "This is a file containing a collection";
+  var path2 = '/tmp/append.txt';
+  fs.writeFileSync(path2, data);
+  fs.appendFileSync(path2, ' appended');
+  fs.readFileSync(path2);
+  var readData = fs.readFileSync(path2, { encoding: 'utf8', flag: 'r' });
+  console.log(readData);
+  fs.unlinkSync(path2);
+}
+
+testAppend();

workerd-corpus-fs/async-callbacks.js

@@ -0,0 +1,17 @@
+
+
+// Async callback operations
+function asyncCB() {
+    let path = '/tmp/async.txt';
+    fs.writeFile(path, 'async data', (err) => {
+        if (!err) {
+            fs.readFile(path, (err, data) => {
+                if (!err) {
+                    fs.unlink(path, () => { });
+                }
+            });
+        }
+    });
+}
+
+asyncCB();

workerd-corpus-fs/basic-file-ops.js

@@ -0,0 +1,11 @@
+// Basic file operations
+function basicOps() {
+  let path = '/tmp/test.txt';
+  let content = 'Hello World';
+  fs.writeFileSync(path, content);
+  fs.readFileSync(path);
+  fs.existsSync(path);
+  fs.unlinkSync(path);
+}
+
+basicOps();

workerd-corpus-fs/boundary-conditions.js

@@ -0,0 +1,10 @@
+// Boundary conditions
+function boundaryCond() {
+  let path = '/tmp/boundary.txt';
+  fs.writeFileSync(path, '');  // Empty file
+  let fd = fs.openSync(path, 'r+');
+  fs.ftruncateSync(fd, 0);
+  fs.closeSync(fd);
+  fs.unlinkSync(path);
+}
+boundaryCond();

workerd-corpus-fs/buffer-edge-cases.js

@@ -0,0 +1,19 @@
+// Buffer edge cases
+function bufferTest() {
+    let path = '/tmp/buf-edge.txt';
+    let fd = fs.openSync(path, 'w+');
+
+    try {
+        fs.writeSync(fd, Buffer.alloc(0));
+        fs.writeSync(fd, Buffer.alloc(1, 255));
+    } catch (e) { }
+
+    fs.closeSync(fd);
+    fs.unlinkSync(path);
+    fs.unlinkSync(path);
+    fs.unlinkSync(path);
+    fs.unlinkSync(path);
+}
+
+bufferTest();
+

workerd-corpus-fs/buffer-io.js

@@ -0,0 +1,9 @@
+function bufferIO() {
+  // Buffer-based I/O operations
+  let path = '/tmp/buffer.txt';
+  let buffer = Buffer.from('binary data', 'utf8');
+  fs.writeFileSync(path, buffer);
+  let result = fs.readFileSync(path);
+  fs.unlinkSync(path);
+}
+bufferIO();

workerd-corpus-fs/computed-properties.js

@@ -0,0 +1,9 @@
+function props() {
+  // Computed property access
+  let prop = 'Sync';
+  let path = '/tmp/computed.txt';
+
+  fs['writeFile' + prop](path, 'computed');
+  fs['readFile' + prop](path);
+  fs['unlink' + prop](path);
+}

workerd-corpus-fs/concurrent-operations.js

@@ -0,0 +1,14 @@
+function timeout() {
+
+    // Concurrent file operations
+    let path1 = '/tmp/concurrent1.txt';
+    let path2 = '/tmp/concurrent2.txt';
+
+    fs.writeFile(path1, 'data1', () => { });
+    fs.writeFile(path2, 'data2', () => { });
+
+    setTimeout(() => {
+        try { fs.unlinkSync(path1); } catch (e) { }
+        try { fs.unlinkSync(path2); } catch (e) { }
+    }, 100);
+}