The navigation bar for a winning entry now has a "_Original C_" link
(between the ✅ and the Inventory on the right hand side) so that one
may easily view the original C code that was submitted for IOCCC judging.
Ran `make www timestamp` to perform the above.
778 lines
30 KiB
HTML
778 lines
30 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
|
||
<!-- START: two lines up starts content from: inc/top.default.html -->
|
||
|
||
<!-- END: this line ends content from: inc/top.default.html -->
|
||
<!-- START: this line starts content from: inc/head.default.html -->
|
||
|
||
<head>
|
||
<link rel="stylesheet" href="../../ioccc.css">
|
||
<link href="https://fonts.googleapis.com/css2?family=Outfit:wght@100..900&display=swap" rel="stylesheet">
|
||
<meta charset="utf-8">
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
|
||
<title>2020/carlini - Best of Show - abuse of libc</title>
|
||
<link rel="icon" type="image/x-icon" href="../../favicon.ico">
|
||
<meta name="description" content="2020 IOCCC entry carlini - Best of Show - abuse of libc">
|
||
<meta name="keywords" content="IOCCC, 2020, IOCCC 2020, IOCCC entry, carlini, Best of Show - abuse of libc">
|
||
</head>
|
||
|
||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||
<!-- !!! DO NOT MODIFY THIS FILE - This file is generated by a tool !!! -->
|
||
<!-- !!! DO NOT MODIFY THIS FILE - This file is generated by a tool !!! -->
|
||
<!-- !!! DO NOT MODIFY THIS FILE - This file is generated by a tool !!! -->
|
||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||
|
||
<!-- END: this line ends content from: inc/head.default.html -->
|
||
|
||
<!-- -->
|
||
<!-- This web page was formed via the tool: bin/readme2index.sh -->
|
||
<!-- The content of main section of this web page came from: 2020/carlini/README.md -->
|
||
<!-- -->
|
||
|
||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||
<!-- !!! Do not modify this web page, instead modify the file: 2020/carlini/README.md !!! -->
|
||
<!-- !!! Do not modify this web page, instead modify the file: 2020/carlini/README.md !!! -->
|
||
<!-- !!! Do not modify this web page, instead modify the file: 2020/carlini/README.md !!! -->
|
||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||
|
||
<!-- Markdown content was converted into HTML via the tool: bin/md2html.sh -->
|
||
|
||
<!-- START: this line starts content from: inc/body.default.html -->
|
||
|
||
<body>
|
||
|
||
<!-- END: this line ends content from: inc/body.default.html -->
|
||
<!-- START: this line starts content from: inc/topbar.default.html -->
|
||
|
||
<div class="theader">
|
||
<nav class="topbar">
|
||
<div class="container">
|
||
<div class="logo">
|
||
<a href="../../index.html" class="logo-link">
|
||
IOCCC
|
||
</a>
|
||
</div>
|
||
|
||
<div class="topbar-items">
|
||
<div class="item">
|
||
<span class="item-header">
|
||
Entries
|
||
</span>
|
||
|
||
<div class="sub-item">
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../years.html" class="sub-item-link">
|
||
Winning entries
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../authors.html" class="sub-item-link">
|
||
Winning authors
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../location.html" class="sub-item-link">
|
||
Location of authors
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../bugs.html" class="sub-item-link">
|
||
Bugs and (mis)features
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html#fix_an_entry" class="sub-item-link">
|
||
Fixing entries
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html#fix_author" class="sub-item-link">
|
||
Updating author info
|
||
</a>
|
||
</div>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="item">
|
||
<span class="item-header">
|
||
Status
|
||
</span>
|
||
|
||
<div class="sub-item">
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../news.html" class="sub-item-link">
|
||
News
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../status.html" class="sub-item-link">
|
||
Contest status
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../next/rules.html" class="sub-item-link">
|
||
IOCCC rules
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../next/guidelines.html" class="sub-item-link">
|
||
IOCCC guidelines
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../markdown.html" class="sub-item-link">
|
||
Markdown guidelines
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../SECURITY.html" class="sub-item-link">
|
||
Security policy
|
||
</a>
|
||
</div>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="item">
|
||
<span class="item-header">
|
||
FAQ
|
||
</span>
|
||
|
||
<div class="sub-item">
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html" class="sub-item-link">
|
||
Frequently asked questions
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../quick-start.html#enter" class="sub-item-link">
|
||
Enter the IOCCC
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html#compiling" class="sub-item-link">
|
||
Compiling entries
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html#running_entries" class="sub-item-link">
|
||
Running entries
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../faq.html#help" class="sub-item-link">
|
||
How to help
|
||
</a>
|
||
</div>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="item">
|
||
<span class="item-header">
|
||
About
|
||
</span>
|
||
|
||
<div class="sub-item">
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../index.html" class="sub-item-link">
|
||
Home page
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../social.html" class="sub-item-link">
|
||
IOCCC social media
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../about.html" class="sub-item-link">
|
||
About the IOCCC
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../judges.html" class="sub-item-link">
|
||
The judges
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../thanks-for-help.html" class="sub-item-link">
|
||
Thanks for the help
|
||
</a>
|
||
</div>
|
||
|
||
<div class="outfit-font">
|
||
<a href="../../contact.html" class="sub-item-link">
|
||
Contact us
|
||
</a>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</nav>
|
||
|
||
<div class="header-mobile-menu">
|
||
<noscript>
|
||
<a href="../../nojs-menu.html" class="topbar-js-label">
|
||
Please Enable JavaScript
|
||
</a>
|
||
</noscript>
|
||
|
||
<button id="header-open-menu-button" class="topbar-mobile-menu">
|
||
<img
|
||
src="../../png/hamburger-icon-open.png"
|
||
alt="hamburger style menu icon - open state"
|
||
width=48
|
||
height=48>
|
||
</button>
|
||
|
||
<button id="header-close-menu-button" class="hide-content">
|
||
<img
|
||
src="../../png/hamburger-icon-closed.png"
|
||
alt="hamburger style menu icon - closed state"
|
||
width=48
|
||
height=48>
|
||
</button>
|
||
|
||
<div id="mobile-menu-panel" class="hide-content">
|
||
<div class="mobile-menu-container">
|
||
|
||
<div class="mobile-menu-wrapper">
|
||
<div class="mobile-menu-item">
|
||
Entries
|
||
</div>
|
||
<div class="mobile-submenu-wrapper">
|
||
|
||
<a class="mobile-submenu-item" href="../../years.html">
|
||
Winning entries
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../authors.html">
|
||
Winning authors
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../location.html">
|
||
Location of authors
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../bugs.html">
|
||
Bugs and (mis)features
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html#fix_an_entry">
|
||
Fixing entries
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html#fix_author">
|
||
Updating author info
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../thanks-for-help.html">
|
||
Thanks for the help
|
||
</a>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="mobile-menu-wrapper">
|
||
|
||
<div class="mobile-menu-item">
|
||
Status
|
||
</div>
|
||
<div class="mobile-submenu-wrapper">
|
||
|
||
<a class="mobile-submenu-item" href="../../news.html">
|
||
News
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../status.html">
|
||
Contest status
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../next/rules.html">
|
||
IOCCC rules
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../next/guidelines.html">
|
||
IOCCC guidelines
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../markdown.html">
|
||
Markdown guidelines
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../SECURITY.html">
|
||
Security policy
|
||
</a>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="mobile-menu-wrapper">
|
||
<div class="mobile-menu-item">
|
||
FAQ
|
||
</div>
|
||
<div class="mobile-submenu-wrapper">
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html">
|
||
Frequently asked questions
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../quick-start.html#enter">
|
||
Enter the IOCCC
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html#compiling">
|
||
Compiling entries
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html#running_entries">
|
||
Running entries
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../faq.html#help">
|
||
How to help
|
||
</a>
|
||
|
||
</div>
|
||
</div>
|
||
|
||
<div class="mobile-menu-wrapper">
|
||
<div class="mobile-menu-item">
|
||
About
|
||
</div>
|
||
<div class="mobile-submenu-wrapper">
|
||
|
||
<a class="mobile-submenu-item" href="../../index.html">
|
||
Home page
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../social.html">
|
||
IOCCC social media
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../about.html">
|
||
About the IOCCC
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../judges.html">
|
||
The judges
|
||
</a>
|
||
|
||
<a class="mobile-submenu-item" href="../../contact.html">
|
||
Contact us
|
||
</a>
|
||
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
</div>
|
||
|
||
<script>
|
||
var headerOpenMenuButton = document.getElementById("header-open-menu-button");
|
||
var headerCloseMenuButton = document.getElementById("header-close-menu-button");
|
||
var mobileMenuPanel = document.getElementById("mobile-menu-panel");
|
||
|
||
headerOpenMenuButton.addEventListener("click", () => {
|
||
headerOpenMenuButton.classList.remove("topbar-mobile-menu");
|
||
headerOpenMenuButton.classList.add("hide-content");
|
||
|
||
headerCloseMenuButton.classList.remove("hide-content");
|
||
headerCloseMenuButton.classList.add("topbar-mobile-menu");
|
||
|
||
mobileMenuPanel.classList.remove("hide-content");
|
||
mobileMenuPanel.classList.add("topbar-mobile-panel");
|
||
});
|
||
|
||
headerCloseMenuButton.addEventListener("click", () => {
|
||
headerCloseMenuButton.classList.remove("topbar-mobile-menu");
|
||
headerCloseMenuButton.classList.add("hide-content");
|
||
|
||
mobileMenuPanel.classList.add("hide-content");
|
||
mobileMenuPanel.classList.remove("topbar-mobile-panel");
|
||
|
||
headerOpenMenuButton.classList.add("topbar-mobile-menu");
|
||
headerOpenMenuButton.classList.remove("hide-content");
|
||
});
|
||
</script>
|
||
|
||
<!-- END: this line ends content from: inc/topbar.default.html -->
|
||
<!-- START: this line starts content from: inc/header.default.html -->
|
||
|
||
<div class="header">
|
||
<a href="../../2011/zucker/index.html">
|
||
<img src="../../png/ioccc.png"
|
||
alt="IOCCC image by Matt Zucker"
|
||
width=300
|
||
height=110>
|
||
</a>
|
||
<h1>The International Obfuscated C Code Contest</h1>
|
||
<h2>2020/carlini - Best of Show - abuse of libc</h2>
|
||
<h3>printf machine</h3>
|
||
</div>
|
||
|
||
<!-- END: this line ends content from: inc/header.default.html -->
|
||
<!-- START: this line starts content from: inc/navbar.mid.html -->
|
||
|
||
<div class="navbar">
|
||
<a class="Left" href="../burton/index.html">← 2020/burton</a>
|
||
<a class="Left" href="../index.html">↑ 2020 ↑</a>
|
||
<a class="Left" href="../endoh1/index.html">2020/endoh1 →</a>
|
||
<a class="Right" href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/prog.c">C code</a>
|
||
<a class="Right" href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/Makefile">Makefile</a>
|
||
<a class="Right" href="#inventory">Inventory</a>
|
||
<a class="Right" href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/prog.orig.c">Original C</a>
|
||
<a class="Right" href="https://validator.w3.org/nu/?doc=https%3A%2F%2Fwww.ioccc.org%2F2020%2Fcarlini%2Findex.html">✓</a>
|
||
</div>
|
||
|
||
<!-- END: this line ends content from: inc/navbar.mid.html -->
|
||
<!-- START: this line starts content from: inc/before-content.default.html -->
|
||
|
||
<div class="content" id="content">
|
||
|
||
<!-- END: this line ends content from: inc/before-content.default.html -->
|
||
<!-- START: this line starts content for HTML phase 20 by: bin/output-index-author.sh via bin/md2html.sh -->
|
||
|
||
<!-- START: this line starts content generated by: bin/output-index-author.sh -->
|
||
|
||
<h2 id="author">Author:</h2>
|
||
<ul>
|
||
<li>Name: <a href="../../authors.html#Nicholas_Carlini">Nicholas Carlini</a><br>
|
||
Location: <a href="../../location.html#US">US</a> - <em>United States of America</em> (<em>United States</em>)</li>
|
||
</ul>
|
||
|
||
<!-- END: next line ends content generated by: bin/output-index-author.sh -->
|
||
|
||
<!-- END: this line ends content for HTML phase 20 by: bin/output-index-author.sh via bin/md2html.sh -->
|
||
<!-- START: this line starts content for HTML phase 21 by: bin/pandoc-wrapper.sh via bin/md2html.sh -->
|
||
|
||
<!-- BEFORE: 1st line of markdown file: 2020/carlini/README.md -->
|
||
<h2 id="to-build">To build:</h2>
|
||
<pre><code> make</code></pre>
|
||
<h3 id="bugs-and-misfeatures">Bugs and (Mis)features:</h3>
|
||
<p>The current status of this entry is:</p>
|
||
<blockquote>
|
||
<p><strong>STATUS: INABIAF - please DO NOT fix</strong></p>
|
||
</blockquote>
|
||
<p>For more detailed information see <a href="../../bugs.html#2020_carlini">2020/carlini in bugs.html</a>.</p>
|
||
<h2 id="to-use">To use:</h2>
|
||
<pre><code> ./prog</code></pre>
|
||
<h2 id="try">Try:</h2>
|
||
<pre><code> ./try.sh</code></pre>
|
||
<p>Or if you actually want to play:</p>
|
||
<pre><code> # Play with a friend, real or imagined, P1 and P2, squares are numbered 1..9
|
||
./prog</code></pre>
|
||
<h2 id="judges-remarks">Judges’ remarks:</h2>
|
||
<p>This program consists of a single <code>printf(3)</code> statement wrapped in a <code>while</code>
|
||
loop. You would not think that this would amount to much, but you would be very,
|
||
very wrong. A clue to what is happening and how this works is encoded in the
|
||
ASCII art of the program source.</p>
|
||
<h2 id="authors-remarks">Author’s remarks:</h2>
|
||
<p>HOW ABOUT A NICE GAME OF <del>CHESS</del>TIC-TAC-TOE?</p>
|
||
<h3 id="usage">USAGE</h3>
|
||
<pre><code> cc -o prog prog.c
|
||
./prog</code></pre>
|
||
<p>Alternates between P1 and P2. Enter a digit [1-9] to move:</p>
|
||
<pre><code> 1 | 2 | 3
|
||
---------
|
||
4 | 5 | 6
|
||
---------
|
||
7 | 8 | 9</code></pre>
|
||
<p>The game ends if:</p>
|
||
<ul>
|
||
<li>A player completes three in a row; that player wins.</li>
|
||
<li>All squares are taken; neither player wins.</li>
|
||
<li>A player makes an illegal move; their opponent wins.</li>
|
||
</ul>
|
||
<h3 id="limitations">LIMITATIONS</h3>
|
||
<p>Bad things may happen if the entered move is outside of the range [1..9]</p>
|
||
<p>While the game will stop if one player tries to overwrite another player’s move,
|
||
it will happily allow a player to move on top of themself. However, given that
|
||
this is an effective no-op and guarantees a loss to a competent opponent, if you
|
||
do this you probably deserve to lose.</p>
|
||
<p>Your terminal may beep at you every turn. We’ll call this a feature that …
|
||
the program … is hard at work processing your move! That is! Please be
|
||
patient.</p>
|
||
<p>After macro expansion the format string is roughly 100K. This makes some
|
||
compilers unhappy, and others slow. (For example, passing GCC the flags <code>-Wall -Wextra -pedantic</code> will result in a warning about oversized strings.)</p>
|
||
<p>Under some terminals the program may exit early. The following should always work:</p>
|
||
<pre><code> echo "1 2 3 4 5 6 7" | ./prog</code></pre>
|
||
<h3 id="obfuscation">OBFUSCATION</h3>
|
||
<p>The entirety of the program consists of a single iterated call to <code>printf(3)</code>.</p>
|
||
<pre><code> int main() {
|
||
while(*d) printf(fmt, arg);
|
||
}</code></pre>
|
||
<p>Here, <code>fmt</code> is a single string, and <code>arg</code> is a series of arguments to
|
||
<code>printf(3)</code>.</p>
|
||
<p>While its primary purpose is to serve as The One True Debugger, <code>printf(3)</code> also happens
|
||
to be Turing complete. (See “Control-Flow Bending: On the Effectiveness of Control-Flow
|
||
Integrity” where we introduced this in an actual, published, academic paper. The
|
||
things you can get away with sometimes.)</p>
|
||
<p>We <del>ab</del>use this fact to implement the logic of tic-tac-toe entirely within
|
||
this one <code>printf(3)</code> call (and a call to <code>scanf(3)</code> to read user input).</p>
|
||
<p>Here’s (briefly) how it works.</p>
|
||
<h4 id="preliminaries">Preliminaries</h4>
|
||
<p>This program uses three <code>printf(3)</code> format specifiers.</p>
|
||
<ul>
|
||
<li><p><code>%d</code> takes an integer argument and prints it.</p></li>
|
||
<li><p><code>%s</code> takes a string argument and prints it.</p></li>
|
||
<li><p><code>%n</code> takes a pointer and writes (!!) the number of bytes printed so far.</p></li>
|
||
</ul>
|
||
<p>Okay, everyone probably knows this. Let’s get a bit more advanced.</p>
|
||
<p>Format specifiers can take extra “arguments”.</p>
|
||
<ul>
|
||
<li><p><code>"%hhn"</code>: store the number of bytes written mod 256 to the <code>char</code> pointer.</p></li>
|
||
<li><p><code>"%2$d"</code>: print argument 2 to <code>printf(3)</code> (and not the sequentially next argument).</p></li>
|
||
<li><p><code>"%8d"</code>: pad the printed integer to 8 characters.</p></li>
|
||
<li><p><code>"%3$.*4$d"</code>: print argument 3 to <code>printf(3)</code> with as many zeros as in argument 4.</p></li>
|
||
</ul>
|
||
<p>For example, the following expression</p>
|
||
<pre><code> printf("%1$.*2$d%3$hhn", 5, 10, &x)</code></pre>
|
||
<p>will have the same effect as if we had written</p>
|
||
<pre><code> x = 10;</code></pre>
|
||
<p>because it will print out <code>0000000005</code> (5 padded to size 10) and then write the
|
||
number of bytes written to <code>x</code>.</p>
|
||
<h4 id="printf3-oriented-programming"><code>printf(3)</code> Oriented Programming</h4>
|
||
<p>Alright, now we can get to the real fun.</p>
|
||
<p>We perform arbitrary computation with <code>printf(3)</code> treating memory as a binary
|
||
array–one bit per pair of bytes:</p>
|
||
<ul>
|
||
<li><p>The zero bit is represented by the sequence <code>00 00</code>.</p></li>
|
||
<li><p>The one-bit is represented by the sequence <code>xx 00</code> where <code>xx</code> is any non-zero byte.</p></li>
|
||
</ul>
|
||
<p>We can use format strings to compute the OR/NOT of arbitrary “bits”.</p>
|
||
<p>We’ll start with the simplest, OR:</p>
|
||
<pre><code> printf("%1$s%2$s%3$hhn", a, b, c)</code></pre>
|
||
<p>will compute</p>
|
||
<pre><code> *c = strlen(a) + strlen(b)</code></pre>
|
||
<p>but given that <code>strlen(x)</code> is <code>1</code> for a 1-bit and <code>0</code> for a 0-bit, we have</p>
|
||
<pre><code> *c = a | b</code></pre>
|
||
<p>Computing the NOT of a single value is also easy:</p>
|
||
<pre><code> printf("%1$255d%1$s%hhn", a, b)</code></pre>
|
||
<p>will compute</p>
|
||
<pre><code> *b = (strlen(a)+255)%256 = strlen(a)-1</code></pre>
|
||
<p>and again, because <code>strlen(x)</code> is either <code>1</code> or <code>0</code> we have</p>
|
||
<pre><code> *c = !b</code></pre>
|
||
<p>From here we can compute any binary circuit. Doing something efficient,
|
||
though, still takes work.</p>
|
||
<h4 id="tic-tac-toe">Tic-Tac-Toe</h4>
|
||
<p>The game itself is represented as a board of 18 bits, 9 bits per player, along
|
||
with a turn counter that alternates between player 1 and player 2.</p>
|
||
<p>To detect who has won, we implement the following logic. Let <code>A</code>, <code>B</code>, and <code>C</code> be
|
||
pointers to three squares in a row to test, and <code>D</code> be where to save if there is a
|
||
win or not.</p>
|
||
<pre><code> "%A$s%B$s%C$s%1$253d%11$hhn" // r11 = !(*A & *B & *C)
|
||
ZERO
|
||
"%11$s%1$255d%11hhn" // r11 = !r11
|
||
ZERO
|
||
"%11$s%D$s%D$hhn" // *D = *D | r11</code></pre>
|
||
<p>That is, we set <code>*D</code> to <code>1</code> if there is a three-in-a-row. We repeat this for all
|
||
possible three-in-a-row configurations, for both players.</p>
|
||
<p>The ZERO macro ensures that the number of bytes written out is 0 mod 256 with
|
||
the following expression</p>
|
||
<pre><code> "%1$hhn%1$s" (repeated 256 times)</code></pre>
|
||
<p>where argument 1 is a pointer to a temporary variable followed by a NUL byte.</p>
|
||
<p>This works because if the current count is 0 mod 256, then <code>"%1$hhn"</code> will write
|
||
zero to argument 1 and then <code>"%1$s"</code> will never emit any text. If, on the other
|
||
hand, the count is not 0 mod 256, a length-1 string will be written to argument
|
||
1, and then <code>"%1$s"</code> will increment the count by one. By repeating this 256
|
||
times we’re eventually going to reach 0 mod 256.</p>
|
||
<p>Checking if there has been an invalid move is achieved similarly.</p>
|
||
<p>In order to decide what to print out, we have to cast the “in-memory” array of
|
||
bits to Xs and Os to print out. This is actually rather straightforward. Given
|
||
in <code>1$</code> the pointer to player 1’s square, and <code>2$</code> the pointer to player 2’s, and
|
||
in <code>3$</code> the pointer to the board string, we can compute</p>
|
||
<pre><code> "%1$s" (repeated 47 times) "%2$s" (repeated 56 times) %1$32d%3$hhn"</code></pre>
|
||
<p>which will, in effect, compute</p>
|
||
<pre><code> *r3 = (*r1) * 47 + (*r2) * 56 + 32</code></pre>
|
||
<p>which will output <code>' '</code> if neither are true, <code>'X'</code> if <code>r1</code> is true, or <code>'O'</code> if
|
||
<code>r2</code> is true.</p>
|
||
<h4 id="further-obfuscations">Further Obfuscations</h4>
|
||
<p>In order to be able to finally display the board, while still only using one
|
||
<code>printf(3)</code> statement, we finish the statement with</p>
|
||
<pre><code> "\n\033[2J\n%26$s"</code></pre>
|
||
<p>which is the escape sequence to clear the screen, and then prints argument 26.
|
||
Argument 26 is a pointer to a <code>char*</code> in memory, that initially is undefined,
|
||
but within the <code>printf(3)</code> statement we will construct this string to look like a
|
||
tic-tac-toe board.</p>
|
||
<p>After the board, we need to print one of the following strings:</p>
|
||
<pre><code> P1>_
|
||
P2>_
|
||
P1 WINS
|
||
P2 WINS
|
||
P1 TIES
|
||
P2 TIES</code></pre>
|
||
<p>Depending on if it’s P1 or P2’s turn to move, the game is over and someone
|
||
won, or the game is over and it is a draw.</p>
|
||
<p>This turns out not to be as hard as it might look. Using the same trick as
|
||
before, we set byte four to be</p>
|
||
<pre><code> *byte4 = is_win * 'W' + is_tie * 'T'</code></pre>
|
||
<p>The byte <code>'I'</code> and <code>'S'</code> can always be the same, and we do the same for <code>'E'</code>/<code>'N'</code>.</p>
|
||
<p>We do this same on-the-fly creation of the <code>scanf(3)</code> format string, but for a
|
||
different reason. We first want to run <code>printf(3)</code> to show the first board, and
|
||
then alternate between runs to <code>scanf(3)</code> and <code>printf(3)</code> reading and then
|
||
displaying moves. Importantly, we <em>do not</em> want a final <code>scanf(3)</code> when the game
|
||
ends. It should just exit.</p>
|
||
<p>One option would be to implement the logic as</p>
|
||
<pre><code> printf()
|
||
while (*ok) {
|
||
scanf();
|
||
printf();
|
||
}</code></pre>
|
||
<p>but this would DOUBLE the number of calls to <code>printf(3)</code> we require. So instead we
|
||
implement it like this</p>
|
||
<pre><code> while (*ok) {
|
||
scanf();
|
||
printf();
|
||
}</code></pre>
|
||
<p>(In reality we actually pass <code>scanf(3)</code> as an argument to avoid the extra
|
||
statement, but it has the same effect.)</p>
|
||
<p>Notice there is now no initial <code>printf(3)</code>. In order make sure the program doesn’t
|
||
block before the first <code>printf(3)</code>, we initialize the <code>scanf(3)</code> format to the NUL
|
||
string so that it returns right away without blocking. The first time the
|
||
<code>printf(3)</code> call runs, it writes out <code>"%hhd"</code> to create the <code>scanf(3)</code> format string.</p>
|
||
<!--
|
||
|
||
Copyright © 1984-2024 by Landon Curt Noll. All Rights Reserved.
|
||
|
||
You are free to share and adapt this file under the terms of this license:
|
||
|
||
Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)
|
||
|
||
For more information, see:
|
||
|
||
https://creativecommons.org/licenses/by-sa/4.0/
|
||
|
||
-->
|
||
<!-- AFTER: last line of markdown file: 2020/carlini/README.md -->
|
||
|
||
<!-- END: this line ends content for HTML phase 21 by: bin/pandoc-wrapper.sh via bin/md2html.sh -->
|
||
<!-- START: this line starts content for HTML phase 22 by: bin/output-index-inventory.sh via bin/md2html.sh -->
|
||
|
||
<!-- START: this line starts content generated by: bin/output-index-inventory.sh -->
|
||
|
||
<div id="inventory">
|
||
<h1 id="inventory-for-2020carlini">Inventory for 2020/carlini</h1>
|
||
</div>
|
||
<h2 id="primary-files">Primary files</h2>
|
||
<ul>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/prog.c">prog.c</a> - entry source code</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/Makefile">Makefile</a> - entry Makefile</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/prog.orig.c">prog.orig.c</a> - original source code</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/try.sh">try.sh</a> - script to try entry</li>
|
||
</ul>
|
||
<h2 id="secondary-files">Secondary files</h2>
|
||
<ul>
|
||
<li><a href="2020_carlini.tar.bz2">2020_carlini.tar.bz2</a> - download entry tarball</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/README.md">README.md</a> - markdown source for this web page</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/.entry.json">.entry.json</a> - entry summary and manifest in JSON</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/.gitignore">.gitignore</a> - list of files that should not be committed under git</li>
|
||
<li><a href="https://github.com/ioccc-src/winner/blob/master/2020/carlini/.path">.path</a> - directory path from top level directory</li>
|
||
<li><a href="index.html">index.html</a> - this web page</li>
|
||
</ul>
|
||
<hr style="width:10%;text-align:left;margin-left:0">
|
||
<h4>
|
||
Jump to: <a href="#">top</a>
|
||
</h4>
|
||
|
||
<!-- END: next line ends content generated by: bin/output-index-inventory.sh -->
|
||
|
||
<!-- END: this line ends content for HTML phase 22 by: bin/output-index-inventory.sh via bin/md2html.sh -->
|
||
<!-- START: this line starts content from: inc/after-content.default.html -->
|
||
|
||
</div>
|
||
|
||
<!-- END: this line ends content from: inc/after-content.default.html -->
|
||
<!-- START: this line starts content from: inc/footer.inventory.html -->
|
||
|
||
<!--
|
||
|
||
Copyright © 1984-2025 by Landon Curt Noll. All Rights Reserved.
|
||
|
||
You are free to share and adapt this file under the terms of this license:
|
||
|
||
Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)
|
||
|
||
For more information, see:
|
||
|
||
https://creativecommons.org/licenses/by-sa/4.0/
|
||
|
||
-->
|
||
|
||
<div class="footer">
|
||
|
||
<div id="copyright"><h3>Copyright © 1984-2025 by Landon Curt Noll:
|
||
<a href="https://creativecommons.org/faq/#what-does-some-rights-reserved-mean"
|
||
target="_blank"
|
||
rel="license noopener noreferrer">Some Rights Reserved</a></h3>
|
||
<p>
|
||
This work is <b>licensed by Landon Curt Noll</b> under
|
||
<b><a href="https://creativecommons.org/licenses/by-sa/4.0/?ref=chooser-v1"
|
||
target="_blank"
|
||
rel="license noopener noreferrer"
|
||
style="display:inline-block;">CC BY-SA 4.0</a></b>.
|
||
<img style="height:22px!important;margin-left:3px;vertical-align:text-bottom;"
|
||
src="../../png/cc.png"
|
||
alt="cc inside circle symbol">
|
||
<img style="height:22px!important;margin-left:3px;vertical-align:text-bottom;"
|
||
src="../../png/by.png"
|
||
alt="person inside circle symbol">
|
||
<img style="height:22px!important;margin-left:3px;vertical-align:text-bottom;"
|
||
src="../../png/sa.png"
|
||
alt="arrow looping back on itself inside circle symbol"><br>
|
||
You should <b>carefully review</b> the
|
||
<b><a href="https://creativecommons.org/licenses/by-sa/4.0/legalcode.en"
|
||
target="_blank"
|
||
rel="license noopener noreferrer">CC BY-SA 4.0 LEGAL CODE</a></b>
|
||
before using the licensed material.<br>
|
||
You may wish to review the
|
||
<b><a href="../../license.html"
|
||
target="_blank"
|
||
rel="license noopener noreferrer">highlights of some of the key features and terms</a></b>
|
||
of <b>CC BY-SA 4.0</b>.<br>
|
||
</p>
|
||
</div>
|
||
|
||
<div id="coda"><h3>Coda</h3>
|
||
<p>
|
||
<a href="https://validator.w3.org/nu/?doc=https%3A%2F%2Fwww.ioccc.org%2F2020%2Fcarlini%2Findex.html" rel="nofollow">Nu HTML check this web page</a><br>
|
||
<a href="#top">Jump to top</a> <a href="#content">Jump to Content</a> <a href="#inventory">Jump to Inventory</a><br>
|
||
</p>
|
||
</div>
|
||
|
||
</div>
|
||
|
||
<!-- END: this line ends content from: inc/footer.inventory.html -->
|
||
<!-- START: this line starts content from: inc/bottom.default.html -->
|
||
|
||
</body>
|
||
</html>
|
||
|
||
<!-- END: this line ends content from: inc/bottom.default.html -->
|