diff --git a/prompts/template_xml/jvm_problem_constructor.txt b/prompts/template_xml/jvm_problem_constructor.txt
index 3c2f55c4b..3a63127cc 100644
--- a/prompts/template_xml/jvm_problem_constructor.txt
+++ b/prompts/template_xml/jvm_problem_constructor.txt
@@ -6,5 +6,5 @@ The target method is the constructor of {CONSTRUCTOR_CLASS} with the following s
The constructor signature follows the format of [Full qualified name of the class].(method_arguments)
.
For example, for the constructor of class Test
of package org.test
which takes in a single integer would have the following signature:
[org.test.Test].(int)
-The target method is belonging to the Java project {PROJECT_NAME} ({PROJECT_URL}).
+The target method belongs to the Java project {PROJECT_NAME} ({PROJECT_URL}).
diff --git a/prompts/template_xml/jvm_problem_method.txt b/prompts/template_xml/jvm_problem_method.txt
index 2a5128c16..61b9f9c63 100644
--- a/prompts/template_xml/jvm_problem_method.txt
+++ b/prompts/template_xml/jvm_problem_method.txt
@@ -5,5 +5,5 @@
The method signature follows the format of [Full qualified name of the class].method_name(method_arguments)
.
For example, for a method test
in class Test
of package org.test
which takes in a single integer would have the following method signature:
[org.test.Test].test(int)
-The target method is belonging to the Java project {PROJECT_NAME} ({PROJECT_URL}).
+The target method belongs to the Java project {PROJECT_NAME} ({PROJECT_URL}).
diff --git a/prompts/template_xml/jvm_requirement.txt b/prompts/template_xml/jvm_requirement.txt
index 3ba7fd7b9..14fc6776e 100644
--- a/prompts/template_xml/jvm_requirement.txt
+++ b/prompts/template_xml/jvm_requirement.txt
@@ -44,8 +44,8 @@ public class {HARNESS_NAME} {
}
-
-Here is a list of classes and their fully qualified name. You must import all classes by their fully qualified name.
-For example, if the full qualified name of a class is
abc.def.ghi
, then you must add an import
+Here is a list of classes and their fully qualified names. You must import all classes by their fully qualified name.
+For example, if the fully qualified name of a class is abc.def.ghi
, then you must add an import
statement import abc.def.ghi;
in the result code.
Do not import the same class multiple times.
Each item in this list has two attributes, tag contains the class name and
diff --git a/prompts/template_xml/jvm_requirement_coverage_fixing.txt b/prompts/template_xml/jvm_requirement_coverage_fixing.txt
index a135096a1..861ad79ed 100644
--- a/prompts/template_xml/jvm_requirement_coverage_fixing.txt
+++ b/prompts/template_xml/jvm_requirement_coverage_fixing.txt
@@ -1,4 +1,4 @@
-I'm a security engineer looking to write good fuzzing harnesses. I want you help me improve my fuzzing harness so it could covers more part of the code.
+I'm a security engineer looking to write good fuzzing harnesses. I want you to help me improve my fuzzing harness so it covers more of the code in the target project.
The target library is {TARGET_REPO}.
@@ -54,7 +54,7 @@ public class {HARNESS_NAME} {
-
You MUST ONLY use any of the following methods from the FuzzedDataProvider of the Jazzer framework for generating random data for fuzzing.
-If the needed return value is not found in the table, try use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
+If the needed return value is not found in the table, try to use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
| Method | Return Value |
|---------------------------------------------|---------------------------------------|
diff --git a/prompts/template_xml/jvm_requirement_error_fixing.txt b/prompts/template_xml/jvm_requirement_error_fixing.txt
index 1a3194f0f..a750d4b0e 100644
--- a/prompts/template_xml/jvm_requirement_error_fixing.txt
+++ b/prompts/template_xml/jvm_requirement_error_fixing.txt
@@ -1,4 +1,4 @@
-I'm a security engineer looking to write a good fuzzing harnesses. I got some compilation errors and want you to help fix them.
+I'm a security engineer looking to write a good fuzzing harness. I got some compilation errors and want you to help fix them.
The target library is {TARGET_REPO}.
@@ -53,7 +53,7 @@ public class {HARNESS_NAME} {
-
You MUST ONLY use any of the following methods from the FuzzedDataProvider of the Jazzer framework for generating random data for fuzzing.
-If the needed return value is not found in the table, try use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
+If the needed return value is not found in the table, try to use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
| Method | Return Value |
|---------------------------------------------|---------------------------------------|
diff --git a/prompts/template_xml/jvm_requirement_test_to_harness.txt b/prompts/template_xml/jvm_requirement_test_to_harness.txt
index a9fca8523..73120e09e 100644
--- a/prompts/template_xml/jvm_requirement_test_to_harness.txt
+++ b/prompts/template_xml/jvm_requirement_test_to_harness.txt
@@ -17,7 +17,7 @@ Here is a list of requirements that you MUST follow.
- You MUST invoke the close method of any resource class objects that implements the java.lang.AutoCloseable interface in the finally block after the target method is invoked.
- You MUST use similar approach as the examples and tests to catch exceptions.
-
-Here is a comma separated list of public project methods. You must include the invocation of at least one of them in the generated harness. Each of the method signature follows the format of
[Full qualified name of the class].method_name(method_arguments)
.
+Here is a comma separated list of public project methods. You must include the invocation of at least one of them in the generated harness. Each of the method signatures follows the format of [Full qualified name of the class].method_name(method_arguments)
.
{PUBLIC_METHODS}
-
@@ -54,7 +54,7 @@ Here is a comma-separated list of all publicly accessible classes in this projec
{PUBLIC_CLASSES}
-
-Here is a list of import statements that you MUST add to the generated harness needed for create the harness.
+Here is a list of import statements that you MUST add to the generated harness.
{IMPORT_STATEMENTS}
-
@@ -63,7 +63,7 @@ Here is a list of other import statements for reference that you may need to mak
-
You MUST ONLY use any of the following methods from the FuzzedDataProvider of the Jazzer framework for generating random data for fuzzing.
-If the needed return value is not found in the table, try use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
+If the needed return value is not found in the table, try to use constructors or methods to create the needed random object. But you MUST try your best to randomise the random object with the methods in the table.
| Method | Return Value |
|---------------------------------------------|---------------------------------------|
diff --git a/prompts/template_xml/jvm_simple_arg_description.txt b/prompts/template_xml/jvm_simple_arg_description.txt
index 5ab6a59fc..05a9ba1d2 100644
--- a/prompts/template_xml/jvm_simple_arg_description.txt
+++ b/prompts/template_xml/jvm_simple_arg_description.txt
@@ -1,4 +1,4 @@
-Arugment #{ARG_COUNT} requires {SIMPLE_TYPE} variable.
+Argument #{ARG_COUNT} requires the {SIMPLE_TYPE} variable.
You must use {RANDOM_METHODS} to generate {ARRAY_OR_NOT}.
diff --git a/prompts/template_xml/python_problem.txt b/prompts/template_xml/python_problem.txt
index 4e77892ae..ebe6ab06a 100644
--- a/prompts/template_xml/python_problem.txt
+++ b/prompts/template_xml/python_problem.txt
@@ -4,7 +4,7 @@ Your goal is to write a fuzzing harness for the provided method signature to fuz
{METHOD_SIGNATURE}
-The target method is belonging to the Python project {PROJECT_NAME} ({PROJECT_URL}).
+The target method belongs to the Python project {PROJECT_NAME} ({PROJECT_URL}).
This method requires {ARG_COUNT} arguments. You must prepare them with random seeded data.
{CLASS_METHOD_OR_GENERAL_METHOD}