Linux Driver Verification

ldv-git: NORMAL: Checking drivers/char/ip2/ip2main.c (297 of 400)...
mv: cannot stat `finished/*': No such file or directory
/home/tester/ldv/opt/ldv-manager/mk/ldv-manager.mk:60: Variable "name" is empty, falling back to "default" 
current--X--commands.xml--X--default commands.xml
if [[ "current" != "current" ]] ; then export PATH=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/char/ip2/ip2main.c/inst/current/bin:$PATH ; fi ; LDV_ENVS_TARGET=/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/char/ip2/ip2main.c/inst/current ldv task --cmdstream=commands.xml --workdir=work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1 --env=/home/tester/.ldv/ldv/envs/1/shadows@08_1,29_1,32_7,37_1,43_1,77_1  
ldv: NORMAL: ldv start.
ldv-task: NORMAL: Start process for environment "/home/tester/.ldv/ldv/envs/1/shadows".
vanilla-extractor: NORMAL: GSOC Linux Vanilla extractor.
ldv-kmanager: NORMAL: Description name = "artificial_env_1".
ldv-kmanager: NORMAL: Kernel successfully prepared.
ldv-task: NORMAL: Calling LDV-core.
ldv-core: NORMAL: Calling Build Command Extractor
build-cmd-extractor: WARNING: Temp directory: "/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/char/ip2/ip2main.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/bce_tempdir" - already exists. Reuse it.
cmd-filter: NORMAL: Filter out drivers.
cmd-filter: NORMAL: Remove unused commands.
build-cmd-extractor: NORMAL: Command stream is successfully extracted.
ldv-core: NORMAL: Calling Command Stream Divider.
CSD: NORMAL: Generate cmdstream for driver: "/home/tester/.ldv/ldv/envs/1/shadows/ip2main.ko".
CSD: ERROR: Can't copy file from "/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/char/ip2/ip2main.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/driver0/drivers/char/tty_ioctl.c" to "/home/tester/.ldv/ldv/envs/1/work/work-f6614b7bb405a9b35dd28baea989a749492c46b2/drivers/char/ip2/ip2main.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/driver0/drivers/char/tty_ioctl.o".
Exception in thread "main" java.lang.NullPointerException
        at com.iceberg.csd.FSOperationBase.CopyFile(FSOperationBase.java:48)
        at com.iceberg.csd.cmdstream.Command.relocateFileList(Command.java:159)
        at com.iceberg.csd.cmdstream.Command.relocateCommand(Command.java:142)
        at com.iceberg.csd.cmdstream.CommandCC.relocateCommand(CommandCC.java:35)
        at com.iceberg.csd.cmdstream.CmdStream.relocateDriver(CmdStream.java:243)
        at com.iceberg.csd.cmdstream.CmdStream.generateTree(CmdStream.java:188)
        at com.iceberg.csd.CSD.main(CSD.java:35)
ldv-core: ERROR: Command stream divider failed.
ldv-task: ERROR: ldv-core failed.
make: *** [work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/checked] Error 1
Code: 512 at /home/tester/ldv/opt/bin/ldv-git line 681.
Verification of drivers/char/ip2/ip2main.c failed!  Proceeding to the next driver...