stopping spatch from creating the output automatically in the directory of the input c file · Issue #338 · coccinelle/coccinelle · GitHub
More Web Proxy on the site http://driver.im/
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am trying to inject faults into c files with the help of coccinelle spatch.
I ran into this problem that the benchmarking framework that I am using, runs the tools (coccinelle) in a containerized environment with READ_ONLY permissions to the input file's directory.
The issue is that when running the command (within the container): spatch template.cocci example.c -o /target
It writes the output not only in the desired target directory but also in the same directory as the input files which is leading to permission issues.
is there a way to change that behaviour of spatch? and to create the output only in the desired target directory?
this is the output.txt that I get:
cat cvt-output/coccinelle-default/3cb48d4b-12bb-41bc-85b0-23c1f3f28a48/output.txt
/usr/local/bin/spatch ../../../tmp/program.c ../../../tmp/template.cocci
--------------------------------------------------------------------------------
init_defs_builtins: /usr/local/lib/coccinelle/standard.h
warning: r1: metavariable s7 not used in the - or context code
warning: r1: metavariable s6 not used in the - or context code
Using native version of ocamlc/ocamlopt/ocamldep
ocamlopt.opt -shared -o /tmp/ocaml_cocci_32fd62.cmxs -g -I /usr/local/lib/coccinelle/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_32fd62.ml
Compilation OK!
Loading ML code of the SP...
HANDLING: ../../../tmp/program.c
cp: cannot create regular file '../../../tmp/program_1.c': Read-only file system
1 pending new file instances
0 pending original file instances
Fatal error: exception Sys_error("../../../tmp/program_1.c: No such file or directory")
The text was updated successfully, but these errors were encountered:
Hello everyone,
I am trying to inject faults into c files with the help of coccinelle spatch.
I ran into this problem that the benchmarking framework that I am using, runs the tools (coccinelle) in a containerized environment with READ_ONLY permissions to the input file's directory.
The issue is that when running the command (within the container):
spatch template.cocci example.c -o /target
It writes the output not only in the desired target directory but also in the same directory as the input files which is leading to permission issues.
is there a way to change that behaviour of spatch? and to create the output only in the desired target directory?
this is the output.txt that I get:
The text was updated successfully, but these errors were encountered: