]> git.saurik.com Git - cycript.git/blob - Console.cpp
Checkpointing pretty-printing implementation so I can quickly refactor CYNoLeader.
[cycript.git] / Console.cpp
1 /* Cycript - Remove Execution Server and Disassembler
2 * Copyright (C) 2009 Jay Freeman (saurik)
3 */
4
5 /* Modified BSD License {{{ */
6 /*
7 * Redistribution and use in source and binary
8 * forms, with or without modification, are permitted
9 * provided that the following conditions are met:
10 *
11 * 1. Redistributions of source code must retain the
12 * above copyright notice, this list of conditions
13 * and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the
15 * above copyright notice, this list of conditions
16 * and the following disclaimer in the documentation
17 * and/or other materials provided with the
18 * distribution.
19 * 3. The name of the author may not be used to endorse
20 * or promote products derived from this software
21 * without specific prior written permission.
22 *
23 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS''
24 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
25 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
26 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
27 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE
28 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
29 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
30 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
31 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
32 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
33 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
34 * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
35 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
36 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
37 */
38 /* }}} */
39
40 #define _GNU_SOURCE
41
42 #include <substrate.h>
43 #include "cycript.hpp"
44
45 #include <cstdio>
46 #include <sstream>
47
48 #include <setjmp.h>
49
50 #include <readline/readline.h>
51 #include <readline/history.h>
52
53 #include <sys/mman.h>
54
55 #include <errno.h>
56 #include <unistd.h>
57
58 #include <sys/types.h>
59 #include <sys/stat.h>
60 #include <fcntl.h>
61
62 #include "Cycript.tab.hh"
63
64 #include <sys/types.h>
65 #include <sys/socket.h>
66 #include <netinet/in.h>
67 #include <sys/un.h>
68
69 static volatile enum {
70 Working,
71 Parsing,
72 Running,
73 Sending,
74 Waiting,
75 } mode_;
76
77 static jmp_buf ctrlc_;
78
79 static void sigint(int) {
80 switch (mode_) {
81 case Working:
82 return;
83 case Parsing:
84 longjmp(ctrlc_, 1);
85 case Running:
86 throw "*** Ctrl-C";
87 case Sending:
88 return;
89 case Waiting:
90 return;
91 }
92 }
93
94 #if YYDEBUG
95 static bool bison_;
96 #endif
97 static bool strict_;
98 static bool pretty_;
99
100 void Setup(CYDriver &driver, cy::parser &parser) {
101 #if YYDEBUG
102 if (bison_)
103 parser.set_debug_level(1);
104 #endif
105 if (strict_)
106 driver.strict_ = true;
107 }
108
109 void Setup(CYOutput &out) {
110 out.pretty_ = pretty_;
111 }
112
113 void Run(int socket, const char *data, size_t size, FILE *fout = NULL, bool expand = false) {
114 CYPool pool;
115
116 const char *json;
117 if (socket == -1) {
118 mode_ = Running;
119 json = CYExecute(pool, data);
120 mode_ = Working;
121 if (json != NULL)
122 size = strlen(json);
123 } else {
124 mode_ = Sending;
125 CYSendAll(socket, &size, sizeof(size));
126 CYSendAll(socket, data, size);
127 mode_ = Waiting;
128 CYRecvAll(socket, &size, sizeof(size));
129 if (size == _not(size_t))
130 json = NULL;
131 else {
132 char *temp(new(pool) char[size + 1]);
133 CYRecvAll(socket, temp, size);
134 temp[size] = '\0';
135 json = temp;
136 }
137 mode_ = Working;
138 }
139
140 if (json != NULL && fout != NULL) {
141 if (!expand || json[0] != '"' && json[0] != '\'')
142 fputs(json, fout);
143 else for (size_t i(0); i != size; ++i)
144 if (json[i] != '\\')
145 fputc(json[i], fout);
146 else switch(json[++i]) {
147 case '\0': goto done;
148 case '\\': fputc('\\', fout); break;
149 case '\'': fputc('\'', fout); break;
150 case '"': fputc('"', fout); break;
151 case 'b': fputc('\b', fout); break;
152 case 'f': fputc('\f', fout); break;
153 case 'n': fputc('\n', fout); break;
154 case 'r': fputc('\r', fout); break;
155 case 't': fputc('\t', fout); break;
156 case 'v': fputc('\v', fout); break;
157 default: fputc('\\', fout); --i; break;
158 }
159
160 done:
161 fputs("\n", fout);
162 fflush(fout);
163 }
164 }
165
166 void Run(int socket, std::string &code, FILE *fout = NULL, bool expand = false) {
167 Run(socket, code.c_str(), code.size(), fout, expand);
168 }
169
170 static void Console(int socket) {
171 bool bypass(false);
172 bool debug(false);
173 bool expand(false);
174
175 FILE *fout(stdout);
176
177 rl_bind_key('\t', rl_insert);
178
179 struct sigaction action;
180 sigemptyset(&action.sa_mask);
181 action.sa_handler = &sigint;
182 action.sa_flags = 0;
183 sigaction(SIGINT, &action, NULL);
184
185 restart: for (;;) {
186 std::string command;
187 std::vector<std::string> lines;
188
189 bool extra(false);
190 const char *prompt("cy# ");
191
192 if (setjmp(ctrlc_) != 0) {
193 mode_ = Working;
194 fputs("\n", fout);
195 fflush(fout);
196 goto restart;
197 }
198
199 read:
200 mode_ = Parsing;
201 char *line(readline(prompt));
202 mode_ = Working;
203 if (line == NULL)
204 break;
205
206 if (!extra) {
207 extra = true;
208 if (line[0] == '?') {
209 std::string data(line + 1);
210 if (data == "bypass") {
211 bypass = !bypass;
212 fprintf(fout, "bypass == %s\n", bypass ? "true" : "false");
213 fflush(fout);
214 } else if (data == "debug") {
215 debug = !debug;
216 fprintf(fout, "debug == %s\n", debug ? "true" : "false");
217 fflush(fout);
218 } else if (data == "expand") {
219 expand = !expand;
220 fprintf(fout, "expand == %s\n", expand ? "true" : "false");
221 fflush(fout);
222 }
223 add_history(line);
224 goto restart;
225 }
226 }
227
228 command += line;
229
230 char *begin(line), *end(line + strlen(line));
231 while (char *nl = reinterpret_cast<char *>(memchr(begin, '\n', end - begin))) {
232 *nl = '\0';
233 lines.push_back(begin);
234 begin = nl + 1;
235 }
236
237 lines.push_back(begin);
238
239 free(line);
240
241 std::string code;
242
243 if (bypass)
244 code = command;
245 else {
246 CYDriver driver("");
247 cy::parser parser(driver);
248 Setup(driver, parser);
249
250 driver.data_ = command.c_str();
251 driver.size_ = command.size();
252
253 if (parser.parse() != 0 || !driver.errors_.empty()) {
254 for (CYDriver::Errors::const_iterator error(driver.errors_.begin()); error != driver.errors_.end(); ++error) {
255 cy::position begin(error->location_.begin);
256 if (begin.line != lines.size() || begin.column - 1 != lines.back().size() || error->warning_) {
257 cy::position end(error->location_.end);
258
259 if (begin.line != lines.size()) {
260 std::cerr << " | ";
261 std::cerr << lines[begin.line - 1] << std::endl;
262 }
263
264 std::cerr << " | ";
265 for (size_t i(0); i != begin.column - 1; ++i)
266 std::cerr << '.';
267 if (begin.line != end.line || begin.column == end.column)
268 std::cerr << '^';
269 else for (size_t i(0), e(end.column - begin.column); i != e; ++i)
270 std::cerr << '^';
271 std::cerr << std::endl;
272
273 std::cerr << " | ";
274 std::cerr << error->message_ << std::endl;
275
276 add_history(command.c_str());
277 goto restart;
278 }
279 }
280
281 driver.errors_.clear();
282
283 command += '\n';
284 prompt = "cy> ";
285 goto read;
286 }
287
288 if (driver.program_ == NULL)
289 goto restart;
290
291 if (socket != -1)
292 code = command;
293 else {
294 std::ostringstream str;
295 CYOutput out(str);
296 Setup(out);
297 driver.program_->Multiple(out);
298 code = str.str();
299 }
300 }
301
302 add_history(command.c_str());
303
304 if (debug)
305 std::cout << code << std::endl;
306
307 Run(socket, code, fout, expand);
308 }
309
310 fputs("\n", fout);
311 fflush(fout);
312 }
313
314 static void *Map(const char *path, size_t *psize) {
315 int fd;
316 _syscall(fd = open(path, O_RDONLY));
317
318 struct stat stat;
319 _syscall(fstat(fd, &stat));
320 size_t size(stat.st_size);
321
322 *psize = size;
323
324 void *base;
325 _syscall(base = mmap(NULL, size, PROT_READ, MAP_SHARED, fd, 0));
326
327 _syscall(close(fd));
328 return base;
329 }
330
331 int main(int argc, char *argv[]) {
332 bool tty(isatty(STDIN_FILENO));
333 pid_t pid(_not(pid_t));
334 bool compile(false);
335
336 for (;;) switch (getopt(argc, argv, "cg:n:p:s")) {
337 case -1:
338 goto getopt;
339 case '?':
340 fprintf(stderr, "usage: cycript [-c] [-p <pid>] [<script> [<arg>...]]\n");
341 return 1;
342
343 case 'c':
344 compile = true;
345 break;
346
347 case 'g':
348 if (false);
349 #if YYDEBUG
350 else if (strcmp(optarg, "bison") == 0)
351 bison_ = true;
352 #endif
353 else {
354 fprintf(stderr, "invalid name for -g\n");
355 return 1;
356 }
357 break;
358
359 case 'n':
360 if (false);
361 else if (strcmp(optarg, "minify") == 0)
362 pretty_ = true;
363 else {
364 fprintf(stderr, "invalid name for -n\n");
365 return 1;
366 }
367 break;
368
369 case 'p': {
370 size_t size(strlen(optarg));
371 char *end;
372 pid = strtoul(optarg, &end, 0);
373 if (optarg + size != end) {
374 fprintf(stderr, "invalid pid for -p\n");
375 return 1;
376 }
377 } break;
378
379 case 's':
380 strict_ = true;
381 break;
382 } getopt:;
383
384 const char *script;
385
386 if (pid != _not(pid_t) && optind < argc - 1) {
387 fprintf(stderr, "-p cannot set argv\n");
388 return 1;
389 }
390
391 if (pid != _not(pid_t) && compile) {
392 fprintf(stderr, "-p conflicts with -c\n");
393 return 1;
394 }
395
396 if (optind == argc)
397 script = NULL;
398 else {
399 // XXX: const_cast?! wtf gcc :(
400 CYSetArgs(argc - optind - 1, const_cast<const char **>(argv + optind + 1));
401 script = argv[optind];
402 if (strcmp(script, "-") == 0)
403 script = NULL;
404 }
405
406 if (script == NULL && !tty && pid != _not(pid_t)) {
407 fprintf(stderr, "non-terminal attaching to remove console\n");
408 return 1;
409 }
410
411 int socket;
412
413 if (pid == _not(pid_t))
414 socket = -1;
415 else {
416 socket = _syscall(::socket(PF_UNIX, SOCK_STREAM, 0));
417
418 struct sockaddr_un address;
419 memset(&address, 0, sizeof(address));
420 address.sun_family = AF_UNIX;
421 sprintf(address.sun_path, "/tmp/.s.cy.%u", pid);
422
423 _syscall(connect(socket, reinterpret_cast<sockaddr *>(&address), SUN_LEN(&address)));
424 }
425
426 if (script == NULL && tty)
427 Console(socket);
428 else {
429 CYDriver driver(script ?: "<stdin>");
430 cy::parser parser(driver);
431 Setup(driver, parser);
432
433 char *start, *end;
434
435 if (script == NULL) {
436 start = NULL;
437 end = NULL;
438
439 driver.file_ = stdin;
440 } else {
441 size_t size;
442 start = reinterpret_cast<char *>(Map(script, &size));
443 end = start + size;
444
445 if (size >= 2 && start[0] == '#' && start[1] == '!') {
446 start += 2;
447
448 if (void *line = memchr(start, '\n', end - start))
449 start = reinterpret_cast<char *>(line);
450 else
451 start = end;
452 }
453
454 driver.data_ = start;
455 driver.size_ = end - start;
456 }
457
458 if (parser.parse() != 0 || !driver.errors_.empty()) {
459 for (CYDriver::Errors::const_iterator i(driver.errors_.begin()); i != driver.errors_.end(); ++i)
460 std::cerr << i->location_.begin << ": " << i->message_ << std::endl;
461 } else if (driver.program_ != NULL)
462 if (socket != -1)
463 Run(socket, start, end - start, stdout);
464 else {
465 std::ostringstream str;
466 CYOutput out(str);
467 Setup(out);
468 driver.program_->Multiple(out);
469 std::string code(str.str());
470 if (compile)
471 std::cout << code;
472 else
473 Run(socket, code);
474 }
475 }
476
477 return 0;
478 }