Show HN: Compile C to Not Gates

81 points34 comments6 hours ago
bangaladore

Reminds me of movfuscator [1]. This can compile programs to movs and only movs.

[1] https://github.com/Battelle/movfuscator

show comments
tromp

Am I right in deducing that this language gets its power from self-modifying code? I.e. flipping bits within addresses of the opcodes of the running program?

show comments
jkrshnmenon

I wonder if someone has already made a Reverse Engineering CTF challenge for this concept.

show comments
pizza

Ah interesting.. wonder if you can model this with a recursively expanded algebraic expression. I've been thinking lately along similar lines about polynomials that encode pushdown automata, so this is cool to see.

show comments
tomhee

There is also a brainfuck to flipjump compiler: https://github.com/tomhea/bf2fj

show comments
tonetegeatinst

Looking forward to the poor security researcher who gets to reverse engineer some malware sample they compiles this into for obfuscation... Its going to be an interesting blog post.

dlcarrier

Maxim (now owned by Analog) actually manufactures a single-instruction processor series, called MAXQ. It uses a single move instruction, with a flag for literals, and a transport triggered architecture.

tomhee

By the way, as a challenge, try how you can program an "If" statement in Flipjump.

platz

How is a jump realized by Not Gates?

show comments
jumploops

AND, OR, NOT - pick 2

show comments
artemonster

Id appreciate more explanations from the power of combined bitflip & goto

show comments
dang

Looks like we banned you and this domain because of the egregious vote manipulation and bogus comments at https://news.ycombinator.com/item?id=34856792.

That was a long time ago, though, and the project is interesting enough, so I'm going to assume you've learned your lesson and unban you. Please stop using multiple accounts for this though!

show comments