creating a tutorial for frama-c CLI of slicing code
GuilhermeBn198 opened this issue · comments
no sucess at all with CLI
tried every type of combination of commands in the documentation page with no sucess.
considering trying other slicing tools such as
- cflow
- Joern
- etc
done