[klee-dev] KLEE unable to load a symbol

[Andrea Mattavelli]

Hi Marko,
just to be sure that everything works as expected, have you tried to run it (with your infrastructure) on Coreutils?
Since we know that KLEE works on those programs, it might be a good cross-checking experiment.

Best,
Andrea

> On 27 May 2016, at 18:44, Marko Dimjašević <marko at cs.utah.edu> wrote:
> 
> On Thu, 2016-05-26 at 15:30 -0600, Marko Dimjašević wrote:
>> For example, these files from the apt package have the same issue:
> 
>> So I'd say the problem is quite common.
> 
> I ran KLEE without making anything symbolic on over 30 Debian source
> packages and this really is a common problem. Pretty much every package
> comes with more than one program, and with over half of the programs I
> run into the issue.
> 
> 
> -- 
> Regards,
> Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
> https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
> Learn email self-defense!  https://emailselfdefense.fsf.org
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev