There is not a trivial way, and the problem isn't exactly well formed,
but in theory a tool to load a .bc file and simple change the internal
symbols to external symbols is < 100 lines of code. Of course, there
may be issues due to duplicate symbols or the names already having
been mangled (for example, the x in 'void f0() { static int x; }').- Daniel On Sun, Feb 15, 2009 at 7:53 PM, Philip Guo <pg at cs.stanford.edu> wrote: > using the standard LLVM toolchain, is there an easy way to make a static > symbol 'non-static'? i have a bunch of static functions that i want to > essentially make non-static, without having to resort to re-writing the > source. thanks! > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.Stanford.EDU > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
