Caleb Helbling
Caleb Helbling
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...
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...
I would like to propose a new feature for goxel: creating voxel maps from 2D heightmaps. Using a heightmap was often the first step in map creation back when Ace...
This pull request adds support for loading types and function signatures obtained by CLE into the types and functions knowledge base. These types are obtained from DWARF information, and should...
This pull request enhances CLE's capabilities to load DWARF information, particularly for Rust binaries. There will be a corresponding pull request in angr to take advantage of these changes to...
Currently the Mac OSX releases are not signed or notarized in anyway. This causes security warnings when attempting to run the Juniper compiler that require the user to go into...