Compare commits
No commits in common. "19e444998af06d1cd39be5514e1f24bfc6180995" and "ddbd8bdab70af7f9f7af34f6cda65a905983d804" have entirely different histories.
19e444998a
...
ddbd8bdab7
8 changed files with 0 additions and 58 deletions
|
@ -1,7 +0,0 @@
|
||||||
# Decompilation
|
|
||||||
|
|
||||||
- The process of rewriting assembly into a target-independent programming
|
|
||||||
language.
|
|
||||||
- "Matching" decompilation aims to be able to produce the exact same assembly
|
|
||||||
output given the same compiler and libraries as a way of proving that the
|
|
||||||
decompilation is correct.
|
|
5
fs2.md
5
fs2.md
|
@ -1,5 +0,0 @@
|
||||||
# fs2
|
|
||||||
|
|
||||||
- https://fs2.io
|
|
||||||
- A library that allows abstracting data transmission and control into a shared
|
|
||||||
concept called a `Stream`.
|
|
10
ghidra.md
10
ghidra.md
|
@ -1,10 +0,0 @@
|
||||||
# Ghidra
|
|
||||||
|
|
||||||
- SRE (Software Reverse Engineering) tool.
|
|
||||||
- Has a [[Java]]-based plugin system.
|
|
||||||
- Typically used to assist in [[decompilation]].
|
|
||||||
|
|
||||||
[//begin]: # "Autogenerated link references for markdown compatibility"
|
|
||||||
[Java]: java "Java"
|
|
||||||
[decompilation]: decompilation "Decompilation"
|
|
||||||
[//end]: # "Autogenerated link references"
|
|
5
java.md
5
java.md
|
@ -1,5 +0,0 @@
|
||||||
# Java
|
|
||||||
|
|
||||||
- Programming language.
|
|
||||||
- Compiled to bytecode that is executed on a Virtual Machine.
|
|
||||||
- Effectively platform-independent.
|
|
|
@ -1,20 +1,7 @@
|
||||||
# 2020-10-31
|
# 2020-10-31
|
||||||
|
|
||||||
- Set up this journal. See the [[readme]].
|
- Set up this journal. See the [[readme]].
|
||||||
- Looked into writing a [[Ghidra]] plugin to generate [[MASM Assembly]] for a
|
|
||||||
[[decompilation]] project.
|
|
||||||
- Explored whether or not it's possible to write recursive algorithms in
|
|
||||||
constant space using [[fs2]], and how it applies to [[sledge]].
|
|
||||||
- It was discussed in the Scala Discord whether or not there exists an
|
|
||||||
algorithm to generate moves for the Dragon Fractal in constant space. The
|
|
||||||
current theory is that there can't be an algorithm that uses less than
|
|
||||||
linear space.
|
|
||||||
|
|
||||||
[//begin]: # "Autogenerated link references for markdown compatibility"
|
[//begin]: # "Autogenerated link references for markdown compatibility"
|
||||||
[readme]: ..\README "Aly's digital garden"
|
[readme]: ..\README "Aly's digital garden"
|
||||||
[Ghidra]: ..\ghidra "Ghidra"
|
|
||||||
[MASM Assembly]: ..\masm-assembly "MASM Assembly"
|
|
||||||
[decompilation]: ..\decompilation "Decompilation"
|
|
||||||
[fs2]: ..\fs2 "fs2"
|
|
||||||
[sledge]: ..\sledge "sledge"
|
|
||||||
[//end]: # "Autogenerated link references"
|
[//end]: # "Autogenerated link references"
|
||||||
|
|
|
@ -1,3 +0,0 @@
|
||||||
# MASM Assembly
|
|
||||||
|
|
||||||
- The dialect of assembly used by Microsoft's assembler.
|
|
12
sledge.md
12
sledge.md
|
@ -1,12 +0,0 @@
|
||||||
# sledge
|
|
||||||
|
|
||||||
- Work-in-progress programming language.
|
|
||||||
- Meant to look like [[fs2]]-based programs, but with a [[Zig]]-like paradigm.
|
|
||||||
- Completely disallows mutability in the source code to allow for better
|
|
||||||
optimizations, and to allow for returning variably-sized objects like
|
|
||||||
buffers or closures on the stack instead of the heap.
|
|
||||||
|
|
||||||
[//begin]: # "Autogenerated link references for markdown compatibility"
|
|
||||||
[fs2]: fs2 "fs2"
|
|
||||||
[Zig]: zig "Zig"
|
|
||||||
[//end]: # "Autogenerated link references"
|
|
3
zig.md
3
zig.md
|
@ -1,3 +0,0 @@
|
||||||
# Zig
|
|
||||||
|
|
||||||
- https://ziglang.org/
|
|
Loading…
Add table
Add a link
Reference in a new issue