freenode/lisp - IRC Chatlog
Search
22:53:45
holycow
AeroNotix: amazing work on lispkit dude. finally had time to actually use it. amazing what you guys managed to do with a small bit of code
23:12:13
AeroNotix
holycow: thanks! I need to find time to work on it more. Let me know what issues you come across.
23:12:53
AeroNotix
e.g. if there are things in conkerer you are missing, some features aren't implemented like I would like. The link higlighting for example
23:18:46
holycow
AeroNotix: overall, only two things really would help and i can drop conkeror: lispkit hangs often (it looks like a thread hangs, i can still switch to a tab and browse a lot of times) and link hints. outside of that totally there.
0:07:32
AeroNotix
The hangs are pretty much why I stopped working on it so much. I think the hangs are due to the link hints.
3:50:42
gigamonkey
So is there some clever way between SLIME and Emacs to automatically get Emacs's font-locking to colorize uses of macros that are the moral equivalent of DEFUN similar to DEFUN?
4:00:39
Bike
looks like you need to set the 'common-lisp-indent-function' property of the thing to 'defun'. no idea what that means but it sounds possible
7:59:10
beach
So I think I understand why it is tempting to parse lambda lists using some ad-hoc code rather than some existing parsing technique. Existing parsing techniques assume a linear sequence of tokens, but lambda lists can be nested, and no existing parsing technique can handle that.
7:59:56
beach
But ad-hoc code won't do for Cleavir, because I need for the client Common Lisp system to be able to customize the lambda-list parsers.
8:00:35
beach
So I need to adapt some existing technique to make it able to handle nested lambda lists. That should be fun.
8:27:48
shrdlu68_
"Remember that you can use e.g. tcpflow to record TCP traffic to files, which can then be used as samples for radamsa."
8:30:14
shrdlu68_
It's trivial to make cl-tls dump ssl packets to a file. But then when radamsa tries to fuzz cl-tls live (or any other ssl implementation), it can only go so far because it is not ssl-capable.
8:32:51
shrdlu68
But it would be very useful for fuzzing some parts of cl-tls, like the x509 decoder and the ASN.1 decoder.
9:29:34
pjb
shrdlu68: there are other fuzzers that take into account the paths taken by the program (they have to instrument it), to explore and find the right input to exercise all the paths.
9:58:19
pjb
Now, of course, http://lcamtuf.coredump.cx/afl/ instruments C code. Perhaps it could be adapted to instrument CL code (using something like eg. cl-stepper).