feat: FrameBunch / __main__

Add FrameBunch, spare clean up
cad-polito-it · Aug 24, 2024 · 1933177 · 1933177
1 parent d8ea1d7
commit 1933177
Show file tree

Hide file tree

Showing 90 changed files with 827 additions and 787 deletions.
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@
 [![PyPI - Version](https://img.shields.io/pypi/v/byron?label=pypi)](https://pypi.org/project/byron/)
 [![PyPI - Downloads](https://img.shields.io/pypi/dm/byron?label=downloads)](https://pypi.org/project/byron/)
 
-> Build on [MicroGP](https://cad-polito-it.github.io/byron/history) technology
+> Built on [MicroGP](https://cad-polito-it.github.io/byron/history) technology
 
 Byron is a source code [fuzzer](https://en.wikipedia.org/wiki/Fuzzing) designed to support assembly and high-level languages. It starts by generating a set of random programs, which are then iteratively improved by an [evolutionary algorithm](https://cad-polito-it.github.io/byron/evolution). Internally, it encodes candidate solutions as [typed](https://rcor.me/papers/typed-graph-theory.pdf), [directed](https://en.wikipedia.org/wiki/Graph_(discrete_mathematics)#Directed_graph) [multigraphs](https://en.wikipedia.org/wiki/Multigraph), and can effectively handle complex, realistic structures containing local and global variables, conditional and looping statements, and subroutines.
 

diff --git a/_experiments/i.py b/_experiments/i.py
@@ -14,7 +14,7 @@
     "{inst} {reg}, 0x{imm:04x}",
     inst=byron.f.choice_parameter(["add", "sub", "and", "or", "xor"]),
     reg=byron.f.choice_parameter(["ax", "bx", "cx", "dx"]),
-    imm=byron.f.integer_parameter(0, 2**16),
+    imm=byron.f.integer_parameter(0, 2 ** 16),
 )
 
 section_proc = byron.f.sequence(

diff --git a/_experiments/mut1.py b/_experiments/mut1.py
@@ -13,7 +13,7 @@
 # byron.rrandom.seed(42)
 
 register = byron.f.choice_parameter(["ah", "bh", "ch", "dh", "al", "bl", "cl", "dl"])
-word = byron.f.integer_parameter(0, 2**16)
+word = byron.f.integer_parameter(0, 2 ** 16)
 int_op = byron.f.choice_parameter(["add", "sub", "and", "or", "xor"])
 inst = byron.f.macro("{op} {r}, 0x{v:02x}", op=int_op, r=register, v=word)
 

diff --git a/_experiments/t.py b/_experiments/t.py
@@ -12,8 +12,8 @@
 
 reg8 = byron.f.choice_parameter(['ah', 'bh', 'ch', 'dh', 'al', 'bl', 'cl', 'dl'])
 reg16 = byron.f.choice_parameter(['ax', 'bx', 'cx', 'dx'])
-int8 = byron.f.integer_parameter(0, 2**8)
-int16 = byron.f.integer_parameter(0, 2**16)
+int8 = byron.f.integer_parameter(0, 2 ** 8)
+int16 = byron.f.integer_parameter(0, 2 ** 16)
 
 opcodes2 = byron.f.choice_parameter(['mov', 'add', 'sub', 'or', 'and'])
 opcodes1 = byron.f.choice_parameter(['not', 'neg', 'inc', 'dec'])

diff --git a/_experiments/t2.py b/_experiments/t2.py
@@ -27,7 +27,7 @@
 byron.rrandom.seed(42)
 
 register = byron.f.choice_parameter(["ah", "bh", "ch", "dh", "al", "bl", "cl", "dl"])
-byte = byron.f.integer_parameter(0, 2**8)
+byte = byron.f.integer_parameter(0, 2 ** 8)
 # test_10 = byron.f.integer_parameter(1, 10)
 # test_byte = byron.f.integer_parameter(0, 255)
 # test_byte = byron.f.integer_parameter(2, 65536 + 1)

diff --git a/examples/classics/knapsack.py b/examples/classics/knapsack.py
@@ -22,6 +22,8 @@
 MAX_WEIGHT = 50
 WEIGHTS = [31, 10, 20, 19, 4, 3, 6]
 VALUES = [70, 20, 39, 37, 7, 5, 10]
+
+
 # max value: 107
 
 

diff --git a/examples/classics/onemax.py b/examples/classics/onemax.py
@@ -24,6 +24,8 @@ def fitness(genotype):
 
 
 def main():
+    byron.welcome()
+
     macro = byron.f.macro('{v}', v=byron.f.array_parameter('01', NUM_BITS + 1))
     top_frame = byron.f.sequence([macro])
 

diff --git a/examples/gcc/library_arm64.py b/examples/gcc/library_arm64.py
@@ -12,13 +12,14 @@
 
 COMMENT = ';'
 
+
 # Hacked as a blind monkey using <https://godbolt.org/>
 
 
 def define_frame():
     register = byron.f.choice_parameter([f"x{n}" for n in range(4)])
-    int8 = byron.f.integer_parameter(0, 2**8)
-    int16 = byron.f.integer_parameter(0, 2**16)
+    int8 = byron.f.integer_parameter(0, 2 ** 8)
+    int16 = byron.f.integer_parameter(0, 2 ** 16)
 
     # operations_rrr = byron.f.choice_parameter(['add', 'sub', 'and', 'eon', 'eor'])
     operations_rrr = byron.f.choice_parameter(['add', 'sub'])

diff --git a/examples/gcc/library_x86_64.py b/examples/gcc/library_x86_64.py
@@ -34,7 +34,7 @@ def define_frame():
         """
     )
 
-    op = byron.f.macro("	movl	${val:#x}, %eax", val=byron.f.integer_parameter(0, 2**32))
+    op = byron.f.macro("	movl	${val:#x}, %eax", val=byron.f.integer_parameter(0, 2 ** 32))
 
     core = byron.framework.bunch(op, size=(10, 50 + 1))
     return byron.framework.sequence([prologue, core, epilogue])
diff --git a/examples/golang/golang.py b/examples/golang/golang.py
@@ -19,7 +19,7 @@ def framework():
     # 'version', 'system', 'machine', 'python', and 'networkx'
     # To get all information use the macro 'byron.f.Info'
 
-    int64 = byron.f.integer_parameter(0, 2**64)
+    int64 = byron.f.integer_parameter(0, 2 ** 64)
     math_op = byron.f.choice_parameter(['+', '-', '*', '/', '&', '^', '|'])
     variable = byron.f.macro('var {_node} uint64', _label='')
     # variable.force_parent('prologue')

diff --git a/examples/mips/library_mips.py b/examples/mips/library_mips.py
@@ -16,7 +16,7 @@
 
 def define_frame():
     register = byron.f.choice_parameter([f"${x}" for x in range(4, 27)])
-    int8 = byron.f.integer_parameter(0, 2**8)
+    int8 = byron.f.integer_parameter(0, 2 ** 8)
 
     operations_rrr = byron.f.choice_parameter(['add', 'sub', 'addu', 'subu'])
     operations_rri = byron.f.choice_parameter(['addi', 'addiu'])