Caleb Helbling

Add dependency tracking information to inline C++ blocks

1

We currently cannot track what variables a C++ block uses, leading to potential ordering problems when generating output C++. For example, a inline C++ in a function may refer to...

### Description When using veritesting on a very simple x64 binary, attempting to read the eflags register results in a crash. The crash is produces the following stack trace: ```...

### Description Merely registering the SimHeapPTMalloc plugin and running a simple x64 program with veritesting enabled causes a crash. It seems that merging states together seems to fail. Here is...

Currently Juniper does not check for exhaustiveness of pattern matches in match or let blocks. This feature is common in functional languages and is important for avoiding unexpected crashes. It...

I include pynauty as a dependency of my [dihash library](https://github.com/calebh/dihash/), which is [available on PyPI](https://pypi.org/project/dihash/). Today I realized that the pynauty library is licensed under GPLv3, which is incompatible with...

Proposal: Copy and Micropatch based target

5

My coworker, Phil Zucker, came up with a new clever method of creating micropatches using an ordinary C compiler. The strategy is called "copy and micropatch" and operates similarly to...