OCCAM

OCCAM copied to clipboard

undefined references to function names for libc specialization

2

I was trying to use occam on some programs, the goal was to debloat the programs with static libc library. For this, I pulled a docker container as instructed on...

huzaifahnadeem

This would solve problems like #60.

caballa

Not sure OCCAM compiles on Mac. The usual problem is to find `sysroot` but I also had problems finding `protobuf` library. I attach a patch that works for me in...

caballa

- Explain how to make a good use of configuration priming. For instance, our OCCAM interpreter of LLVM bitcode does not execute library code. FFI will not typically recognize application...

caballa

Over-specialization

1

The configuration priming (CP) can produce too specialized programs that cannot be actually executed. Recall that CP has two phases: bytecode interpretation and lifting LLVM values to LLVM constants. For...

caballa