Request for classic confinement: manticore

store
1

Hi,

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.

It’s main functionality is to symbolically execute binaries and place the analysis results in the current working directory. Due to this, it needs to be classically confined.

Thanks.

Regards,
Daniel

2

@daniellimws - it isn’t clear to me why this needs classic confinement. Is there a specific reason this wouldn’t work with the ‘home’ and ‘removable-media’ interfaces? One could run the binary from home/removable-media and place the analysis results here…

3

Hi @daniellimws. Is your implication that users of manticore tend to execute it outside of home, or that they would reasonably expect to process files outside of $HOME and /media?

4

Hi, yes you guys are right, the ‘home’ interface can be used. I shall close this now.