fault_library.json

[{"title":"DISKIO_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"OPEN","description":"Hog open function call for a file","specification":"change {with $CALL{name=open;tag=f;}(...) as $EXPR#file: $BLOCK#x} into {$HOG{resource=fd} with $CALL{tag=f;}(...) as $EXPR#file: $BLOCK#x}","selected":false},{"title":"FLUSH","description":"Miss function call that flush a file","specification":"change { $CALL{name=flush;}(...) } into  { }","selected":false},{"title":"FILENO","description":"Miss function call that return a file descriptor","specification":"change { $CALL{name=fileno;}(...) } into  { }","selected":false},{"title":"ISATTY","description":"Miss function call that return true if the file descriptor is open and connected to a tty (-like) device","specification":"change { $CALL{name=isatty;}(...) } into  { }","selected":false},{"title":"NEXT","description":"Miss function call that returns the next input line for a file","specification":"change { $CALL{name=next;}(...) } into  { }","selected":false},{"title":"READ","description":"Miss Function call that read a specific amount of bytes from a file","specification":"change { $CALL{name=read;}(...) } into  { }","selected":false},{"title":"READLINE","description":"Miss Function call that read one entire line from the file","specification":"change { $CALL{name=readline;}(...) } into  { }","selected":false},{"title":"READLINES","description":"Miss Function call that return all the lines read until the end of a file","specification":"change { $CALL{name=readlines;}(...) } into  { }","selected":false},{"title":"SEEK","description":"Miss Function call that return the file's current position","specification":"change { $CALL{name=seek;}(...) } into  { }","selected":false},{"title":"TELL","description":"Miss Function call that set the file's current position","specification":"change { $CALL{name=tell;}(...) } into  { }","selected":false},{"title":"TRUNCATE","description":"Miss Function call that truncate the file's size","specification":"change { $CALL{name=truncate;}(...) } into  { }","selected":false},{"title":"WRITE","description":"Miss Function call that write a string to the file","specification":"change { $CALL{name=write;}(...) } into  { }","selected":false},{"title":"WRITELINES","description":"Miss Function call that write a sequence of strings to the file","specification":"change { $CALL{name=writelines;}(...) } into  { }","selected":false},{"title":"ENCODING","description":"Miss Function call that return the encofing that the file uses","specification":"change { $CALL{name=encoding;}(...) } into  { }","selected":false}]},{"title":"DISKIO_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"OPEN","description":"Hog open function call for a file","specification":"change {with $CALL{name=open;tag=f;}(...) as $EXPR#file: $BLOCK#x} into {$HOG{resource=fd} with $CALL{tag=f;}(...) as $EXPR#file: $BLOCK#x}","selected":false},{"title":"FLUSH","description":"Add delay to function call that flush a file","specification":"change { $CALL{name=flush;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"FILENO","description":"Add delay to function call that return a file descriptor","specification":"change { $CALL{name=fileno;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"ISATTY","description":"Add delay to function call that return true if the file descriptor is open and connected to a tty (-like) device","specification":"change { $CALL{name=isatty;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"NEXT","description":"Add delay to function call that returns the next input line for a file","specification":"change { $CALL{name=next;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"READ","description":"Add delay to Function call that read a specific amount of bytes from a file","specification":"change { $CALL{name=read;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"READLINE","description":"Add delay to Function call that read one entire line from the file","specification":"change { $CALL{name=readline;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"READLINES","description":"Add delay to Function call that return all the lines read until the end of a file","specification":"change { $CALL{name=readlines;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"SEEK","description":"Add delay to Function call that return the file's current position","specification":"change { $CALL{name=seek;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"TELL","description":"Add delay to Function call that set the file's current position","specification":"change { $CALL{name=tell;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"TRUNCATE","description":"Add delay to Function call that truncate the file's size","specification":"change { $CALL{name=truncate;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"WRITE","description":"Add delay to Function call that write a string to the file","specification":"change { $CALL{name=write;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"WRITELINES","description":"Add delay to Function call that write a sequence of strings to the file","specification":"change { $CALL{name=writelines;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"ENCODING","description":"Add delay to Function call that return the encofing that the file uses","specification":"change { $CALL{name=encoding;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false}]},{"title":"DISKIO_MISSING_PARAMETERS","folder":true,"children":[{"title":"READ","description":"Missing first parameter in Function call that read a specific amount of bytes from a file","specification":"change { $CALL{name=read;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"READLINE","description":"Missing first parameter in Function call that read one entire line from the file","specification":"change { $CALL{name=readline;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"READLINES","description":"Missing first parameter in Function call that return all the lines read until the end of a file","specification":"change { $CALL{name=readlines;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"SEEK","description":"Missing first parameter in Function call that return the file's current position","specification":"change { $CALL{name=seek;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"TRUNCATE","description":"Missing first parameter in Function call that truncate the file's size","specification":"change { $CALL{name=truncate;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"WRITE","description":"Missing first parameter in Function call that write a string to the file","specification":"change { $CALL{name=write;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"WRITELINES","description":"Missing first parameter in Function call that write a sequence of strings to the file","specification":"change { $CALL{name=writelines;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false}]},{"title":"DISKIO_WRONG_PARAMETERS","folder":true,"children":[{"title":"READ","description":"Corrupt first parameter in Function call that read a specific amount of bytes from a file","specification":"change { $CALL{name=read;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"READLINE","description":"Corrupt first parameter in Function call that read one entire line from the file","specification":"change { $CALL{name=readline;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"READLINES","description":"Corrupt first parameter in Function call that return all the lines read until the end of a file","specification":"change { $CALL{name=readlines;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"SEEK","description":"Corrupt first parameter in Function call that return the file's current position","specification":"change { $CALL{name=seek;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"TRUNCATE","description":"Corrupt first parameter in Function call that truncate the file's size","specification":"change { $CALL{name=truncate;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"WRITE","description":"Corrupt first parameter in Function call that write a string to the file","specification":"change { $CALL{name=write;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"WRITELINES","description":"Corrupt first parameter in Function call that write a sequence of strings to the file","specification":"change { $CALL{name=writelines;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false}]},{"title":"DISKIO_THROW_EXCEPTION","folder":true,"children":[{"title":"OPEN","description":"Raise IOError for open function call for a file","specification":"change {with $CALL{name=open;tag=f;}(...) as $EXPR#file: $BLOCK#x} into { raise IOError }","selected":false},{"title":"NEXT","description":"Raise StopIteration for function call that returns the next input line for a file","specification":"change { $CALL{name=next;}(...) } into  { raise StopIteration }","selected":false},{"title":"READ","description":"Raise IOError for function call that reads a file","specification":"change { $CALL{name=read;}(...) } into  { raise IOError }","selected":false},{"title":"READLINE","description":"Raise IOError for function call that read one entire line from the file","specification":"change { $CALL{name=readline;}(...) } into  { raise IOError }","selected":false},{"title":"READLINES","description":"Raise IOError for function call that return all the lines read until the end of a file","specification":"change { $CALL{name=readlines;}(...) } into  { raise IOError }","selected":false},{"title":"WRITE","description":"Raise IOError for function call that write a string to the file","specification":"change { $CALL{name=write;}(...) } into  { raise IOError }","selected":false},{"title":"WRITELINES","description":"Raise IOError for function call that write a sequence of strings to the file","specification":"change { $CALL{name=writelines;}(...) } into  { raise IOError }","selected":false}]},{"title":"ERROR_HANDLING","folder":true,"children":[{"title":"API_RETURN_CODE","description":"Missing error handling for API return code","specification":"change { $EXPR#x = $CALL{tag=c;}(...) if $EXPR#x $CMPOP $EXPR: $BLOCK#b } into { $EXPR#x = $CALL{tag=c;}() $EXPR#x = None if $EXPR#x $CMPOP $EXPR: $BLOCK#b}","selected":false},{"title":"TRY_EXCEPT","description":"Missing error handling for try-except block","specification":"change { try: $BLOCK#a except $EXPR#e: $BLOCK#b } into { try: raise $EXPR#e $BLOCK#a except $EXPR#e: $BLOCK#b }","selected":false}]},{"title":"ETCD_CPU_HOG","folder":true,"children":[{"title":"ETCD_CPU_HOG_SET","description":"Hog thread injected on set()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*set*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false},{"title":"ETCD_CPU_HOG_GET","description":"Hog thread injected on get()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*get*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false},{"title":"ETCD_CPU_HOG_DELETE","description":"Hog thread injected on delete()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*delete*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false},{"title":"ETCD_CPU_HOG_UPDATE","description":"Hog thread injected on update()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*update*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false},{"title":"ETCD_CPU_HOG_WRITE","description":"Hog thread injected on write()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*write*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false},{"title":"ETCD_CPU_HOG_READ","description":"Hog thread injected on read()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*read*; tag=call;}(...) } into { $HOG{resource=cpu, async=True} $CALL{tag=call;}(...) }","selected":false}]},{"title":"ETCD_WRONG_INPUTS","folder":true,"children":[{"title":"ETCD_SET_WRONG_INPUT_1","description":"Corrupt 1st parameter in set()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*set*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false},{"title":"ETCD_SET_WRONG_INPUT_2","description":"Corrupt 2nd input parameter in set()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*set*; tag=call;}($EXPR#a, $EXPR#b, ...) } into { $VAR#z = $CALL{tag=call;}($EXPR#a, $CORRUPT($EXPR#b), ...) }","selected":false},{"title":"ETCD_SET_WRONG_INPUT_3","description":"Corrupt 3rd input parameter in set()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*set*; tag=call;}($EXPR#a, $EXPR#b, $EXPR#c, ...) } into { $VAR#z = $CALL{tag=call;}($EXPR#a, $EXPR#b, $CORRUPT($EXPR#c), ...) }","selected":false},{"title":"ETCD_GET_WRONG_INPUT_1","description":"Corrupt 1st input parameter in get()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*get*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false},{"title":"ETCD_DELETE_WRONG_INPUT_1","description":"Corrupt 1st input parameter in delete()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*delete*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false},{"title":"ETCD_UPDATE_WRONG_INPUT","description":"Corrupt 1st input parameter in update()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*update*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false},{"title":"ETCD_WRITE_WRONG_INPUT_1","description":"Corrupt 1st input parameter in write()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*write*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false},{"title":"ETCD_WRITE_WRONG_INPUT_2","description":"Corrupt 2nd input parameter in write()","specification":"change { $VAR#z = $CALL{obj=*client*; name=*write*; tag=call;}($EXPR#a, $EXPR#b, ...) } into { $VAR#z = $CALL{tag=call;}($EXPR#a, $CORRUPT($EXPR#b), ...) }","selected":false},{"title":"ETCD_READ_WRONG_INPUT","description":"Corrupt 1st input parameter in read()","specification":" change { $VAR#z = $CALL{obj=*client*; name=*read*; tag=call;}($EXPR#a, ...) } into { $VAR#z = $CALL{tag=call;}($CORRUPT($EXPR#a), ...) }","selected":false}]},{"title":"OPENSTACK_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"INSTANCE","description":"Miss function call related to instances management","specification":"change { $CALL{name=*instance*;}(...) } into  { }","selected":false},{"title":"IMAGE","description":"Miss function call related to images management","specification":"change { $CALL{name=*image*;}(...) } into  { }","selected":false},{"title":"NETWORK","description":"Miss function call related to network management","specification":"change { $CALL{name=*network*;}(...) } into  { }","selected":false},{"title":"VOLUME","description":"Miss function call related to volumes management","specification":"change { $CALL{name=*volume*;}(...) } into  { }","selected":false},{"title":"RPC","description":"Miss function call related to rpc management","specification":"change { $CALL{name=*rpc*;}(...) } into  { }","selected":false},{"title":"SSH","description":"Miss function call related to ssh management","specification":"change { $CALL{name=*ssh*;}(...) } into  { }","selected":false}]},{"title":"OPENSTACK_MISSING_PARAMETERS","folder":true,"children":[{"title":"INSTANCE","description":"Missing first parameter in function call related to instances management","specification":"change {$CALL{name=*instance*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false},{"title":"IMAGE","description":"Missing first parameter in function call related to images management","specification":"change {$CALL{name=*image*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false},{"title":"NETWORK","description":"Missing first parameter in function call related to network management","specification":"change {$CALL{name=*network*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false},{"title":"VOLUME","description":"Missing first parameter in function call related to volumes management","specification":"change {$CALL{name=*volume*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false},{"title":"RPC","description":"Missing first parameter in function call related to rpc management","specification":"change {$CALL{name=*rpc*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false},{"title":"SSH","description":"Missing first parameter in function call related to ssh management","specification":"change {$CALL{name=*ssh*;tag=call;}($EXPR, ...)} into { $CALL{tag=call;}(...) }","selected":false}]},{"title":"OPENSTACK_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"INSTANCE","description":"Add delay to function call related to instances management","specification":"change { $CALL{name=*instance*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"IMAGE","description":"Add delay to function call related to images management","specification":"change { $CALL{name=*image*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"NETWORK","description":"Add delay to function call related to network management","specification":"change { $CALL{name=*network*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"VOLUME","description":"Add delay to function call related to volumes management","specification":"change { $CALL{name=*volume*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"RPC","description":"Add delay to function call related to rpc management","specification":"change { $CALL{name=*rpc*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"SSH","description":"Add delay to function call related to ssh management","specification":"change { $CALL{name=*ssh*;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false}]},{"title":"OPENSTACK_WRONG_PARAMETERS","folder":true,"children":[{"title":"INSTANCE","description":"Corrupt first parameter in function call related to instances management","specification":"change {$CALL{name=*instance*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"IMAGE","description":"Corrupt first parameter in function call related to images management","specification":"change {$CALL{name=*image*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"NETWORK","description":"Corrupt first parameter in function call related to network management","specification":"change {$CALL{name=*network*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"VOLUME","description":"Corrupt first parameter in function call related to volumes management","specification":"change {$CALL{name=*volume*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"RPC","description":"Corrupt first parameter in function call related to rpc management","specification":"change {$CALL{name=*rpc*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"SSH","description":"Corrupt first parameter in function call related to ssh management","specification":"change {$CALL{name=*ssh*;tag=call;}($EXPR#x, ...)} into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false}]},{"title":"OPENSTACK_WRONG_RETURN_VALUE","folder":true,"children":[{"title":"INSTANCE","description":"Corrupt return value in function related to instances management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*instance*}","selected":false},{"title":"IMAGE","description":"Corrupt return value in function related to images management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*image*}","selected":false},{"title":"NETWORK","description":"Corrupt return value in related to network management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*network*}","selected":false},{"title":"VOLUME","description":"Corrupt return value in related to volumes management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*volume*}","selected":false},{"title":"RPC","description":"Corrupt return value in call related to rpc management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*rpc*}","selected":false},{"title":"SSH","description":"Corrupt return value in call related to ssh management","specification":"change { return $EXPR } into  { return $CORRUPT($EXPR) } when {function=*ssh*}","selected":false}]},{"title":"OPENSTACK_THROW_EXCEPTION","folder":true,"children":[{"title":"INSTANCE","description":"Raise Exception in call related to instances management","specification":"change { $CALL{name=*instance*;}(...) } into  { raise Exception }","selected":false},{"title":"IMAGE","description":"Raise Exception in call related to images management","specification":"change { $CALL{name=*image*;}(...) } into  { raise Exception }","selected":false},{"title":"NETWORK","description":"Raise Exception in call related to network management","specification":"change { $CALL{name=*network*;}(...) } into  { raise Exception }","selected":false},{"title":"VOLUME","description":"Raise Exception in call related to volumes management","specification":"change { $CALL{name=*volume*;}(...) } into  { raise Exception }","selected":false},{"title":"RPC","description":"Raise Exception in call related to rpc management","specification":"change { $CALL{name=*rpc*;}(...) } into  { raise Exception }","selected":false},{"title":"SSH","description":"Raise Exception in call related to ssh management","specification":"change { $CALL{name=*ssh*;}(...) } into  { raise Exception }","selected":false}]},{"title":"OS_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"OS","description":"Miss function call related to OS management","specification":"change { $CALL{obj=os;}(...) } into  { }","selected":false}]},{"title":"OS_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"OS","description":"Add delay to function call related to OS management","specification":"change { $CALL{obj=os;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false}]},{"title":"NETIO_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"SOCKET","description":"Miss Function call that create a socket","specification":"change { $CALL{name=socket;}(...) } into  { }","selected":false},{"title":"CLOSE","description":"Miss Function call that close a socket","specification":"change { $CALL{name=close;}(...) } into  { }","selected":false},{"title":"BIND","description":"Miss Function call that bind the socket to an address","specification":"change { $CALL{name=bind;}(...) } into  { }","selected":false},{"title":"LISTEN","description":"Miss Function call that listen for connections made to the socket","specification":"change { $CALL{name=listen;}($EXPR) } into  { }","selected":false},{"title":"ACCEPT","description":"Miss Function call that accept a connection","specification":"change { $CALL{name=accept;}(...) } into  { }","selected":false},{"title":"CONNECT","description":"Miss Function call that connect to a remote socket at address","specification":"change { $CALL{name=connect;}(...) } into  { }","selected":false},{"title":"RECV","description":"Miss Function call that receive data from the socket, returning the data received","specification":"change { $CALL{name=recv;}(...) } into  { }","selected":false},{"title":"SEND","description":"Miss Function call that send data to socket (the socket must be connected)","specification":"change { $CALL{name=send;}(...) } into  { }","selected":false},{"title":"RECVFROM","description":"Miss Function call that receive data from the socket, returning the data received and the address of the socket sending the data","specification":"change { $CALL{name=recvfrom;}(...) } into  { }","selected":false},{"title":"SENDTO","description":"Miss Function call that send data to socket, by specifying the address for the destination socket","specification":"change { $CALL{name=sendto;}(...) } into  { }","selected":false},{"title":"GETHOSTNAME","description":"Miss Function call that return a string containing the hostname of the machine where the Python interpreter is currently executing","specification":"change { $CALL{name=gethostname;}(...) } into  { }","selected":false}]},{"title":"NETIO_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"SOCKET","description":"Add delay to Function call that create a socket","specification":"change { $CALL{name=socket;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"CLOSE","description":"Add delay to Function call that close a socket","specification":"change { $CALL{name=close;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"BIND","description":"Add delay to Function call that bind the socket to an address","specification":"change { $CALL{name=bind;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"LISTEN","description":"Add delay to Function call that listen for connections made to the socket","specification":"change { $CALL{name=listen;tag=call;}($EXPR) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"ACCEPT","description":"Add delay to Function call that accept a connection","specification":"change { $CALL{name=accept;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"CONNECT","description":"Add delay to Function call that connect to a remote socket at address","specification":"change { $CALL{name=connect;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"RECV","description":"Add delay to Function call that receive data from the socket, returning the data received","specification":"change { $CALL{name=recv;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"SEND","description":"Add delay to Function call that send data to socket (the socket must be connected)","specification":"change { $CALL{name=send;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"RECVFROM","description":"Add delay to Function call that receive data from the socket, returning the data received and the address of the socket sending the data","specification":"change { $CALL{name=recvfrom;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"SENDTO","description":"Add delay to Function call that send data to socket, by specifying the address for the destination socket","specification":"change { $CALL{name=sendto;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"GETHOSTNAME","description":"Add delay to Function call that return a string containing the hostname of the machine where the Python interpreter is currently executing","specification":"change { $CALL{name=gethostname;tag=call;}(...) } into  { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false}]},{"title":"NETIO_MISSING_PARAMETERS","folder":true,"children":[{"title":"SOCKET","description":"Missing first parameter in Function call that create a socket","specification":"change { $CALL{name=socket;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"BIND","description":"Missing first parameter in Function call that bind the socket to an address","specification":"change { $CALL{name=bind;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"LISTEN","description":"Missing first parameter in Function call that listen for connections made to the socket","specification":"change { $CALL{name=listen;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"CONNECT","description":"Missing first parameter in Function call that connect to a remote socket at address","specification":"change { $CALL{name=connect;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"RECV","description":"Missing first parameter in Function call that receive data from the socket, returning the data received","specification":"change { $CALL{name=recv;tag=call;}($EXPR, ...) } into  { $CALL{tag=call;}(...)}","selected":false},{"title":"SEND","description":"Missing first parameter in Function call that send data to socket (the socket must be connected)","specification":"change { $CALL{name=send;tag=call;}($EXPR, ...) } into  { $CALL{tag=call;}(...) }","selected":false},{"title":"RECVFROM","description":"Missing first parameter in Function call that receive data from the socket, returning the data received and the address of the socket sending the data","specification":"change { $CALL{name=recvfrom;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false},{"title":"SENDTO","description":"Missing first parameter in Function call that send data to socket, by specifying the address for the destination socket","specification":"change { $CALL{name=sendto;tag=call;}($EXPR, ...) } into { $CALL{tag=call;}(...) }","selected":false}]},{"title":"NETIO_WRONG_PARAMETERS","folder":true,"children":[{"title":"SOCKET","description":"Corrupt first parameter in Function call that create a socket","specification":"change { $CALL{name=socket;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"BIND","description":"Corrupt first parameter in Function call that bind the socket to an address","specification":"change { $CALL{name=bind;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"LISTEN","description":"Corrupt first parameter in Function call that listen for connections made to the socket","specification":"change { $CALL{name=listen;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"CONNECT","description":"Corrupt first parameter in Function call that connect to a remote socket at address","specification":"change { $CALL{name=connect;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"RECV","description":"Corrupt first parameter in Function call that receive data from the socket, returning the data received","specification":"change { $CALL{name=recv;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"SEND","description":"Corrupt first parameter in Function call that send data to socket (the socket must be connected)","specification":"change { $CALL{name=send;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"RECVFROM","description":"Corrupt first parameter in Function call that receive data from the socket, returning the data received and the address of the socket sending the data","specification":"change { $CALL{name=recvfrom;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false},{"title":"SENDTO","description":"Corrupt first parameter in Function call that send data to socket, by specifying the address for the destination socket","specification":"change { $CALL{name=sendto;tag=call;}($EXPR#x, ...) } into { $CALL{tag=call;}($CORRUPT($EXPR#x), ...) }","selected":false}]},{"title":"NETIO_THROW_EXCEPTION","folder":true,"children":[{"title":"SOCKET","description":"Raise Exception in function call that create a socket","specification":"change { $CALL{name=socket;}(...) } into { raise socket.error }","selected":false},{"title":"BIND","description":"Raise Exception in Function call that bind the socket to an address","specification":"change { $CALL{name=bind;}(...) } into { raise socket.error }","selected":false},{"title":"LISTEN","description":"Raise Exception in Function call that listen for connections made to the socket","specification":"change { $CALL{name=listen;}(...) } into { raise socket.error }","selected":false},{"title":"ACCEPT","description":"Raise Exception in Function call that accept a connection","specification":"change { $CALL{name=accept;}(...) } into { raise socket.error }","selected":false},{"title":"CONNECT","description":"Raise Exception in Function call that connect to a remote socket at address","specification":"change { $CALL{name=connect;}(...) } into { raise socket.error }","selected":false},{"title":"RECV","description":"Raise Exception in Function call that receive data from the socket, returning the data received","specification":"change { $CALL{name=recv;}(...) } into { raise socket.error }","selected":false},{"title":"SEND","description":"Raise Exception in Function call that send data to socket (the socket must be connected)","specification":"change { $CALL{name=send;}(...) } into { raise socket.error }","selected":false},{"title":"RECVFROM","description":"Raise Exception in Function call that receive data from the socket, returning the data received and the address of the socket sending the data","specification":"change { $CALL{name=recvfrom;}(...) } into { raise socket.error }","selected":false},{"title":"SENDTO","description":"Raise Exception in Function call that send data to socket, by specifying the address for the destination socket","specification":"change { $CALL{name=sendto;}(...) } into { raise socket.error }","selected":false}]},{"title":"URLLIB_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"CLEAR","description":"","specification":"change { $CALL{name=clear;}(...) } into { }","selected":false},{"title":"REQUEST","description":"","specification":"change { $CALL{name=request;}(...) } into { }","selected":false},{"title":"REQUEST_ENCODE_BODY","description":"","specification":"change { $CALL{name=request_encode_body;}(...) } into {  }","selected":false},{"title":"URLOPEN","description":"","specification":"change { $CALL{name=urlopen;}(...) } into {  }","selected":false},{"title":"POOLMANAGER","description":"","specification":"change { $CALL{name=PoolManager;}(...) } into {  }","selected":false},{"title":"MAKE_HEADERS","description":"","specification":"change { $CALL{name=make_headers;}(...) } into {  }","selected":false},{"title":"RESPONSE","description":"","specification":"change { $CALL{name=response;}(...) } into {  }","selected":false},{"title":"CLEAR_IN_RETURN","description":"","specification":"change { return $CALL{name=clear;}(...) } into { return None }","selected":false},{"title":"REQUEST_IN_RETURN","description":"","specification":"change { return $CALL{name=request;}(...) } into { return None }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_RETURN","description":"","specification":"change { return $CALL{name=request_encode_body;}(...) } into { return None }","selected":false},{"title":"URLOPEN_IN_RETURN","description":"","specification":"change { return $CALL{name=urlopen;}(...) } into { return None }","selected":false},{"title":"POOLMANAGER_IN_RETURN","description":"","specification":"change { return $CALL{name=PoolManager;}(...) } into { return None }","selected":false},{"title":"MAKE_HEADERS_IN_RETURN","description":"","specification":"change { return $CALL{name=make_headers;}(...) } into { return None }","selected":false},{"title":"RESPONSE_IN_RETURN","description":"","specification":"change { return $CALL{name=response;}(...) } into { return None }","selected":false},{"title":"CLEAR_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=clear;}(...) } into { $VAR#var = None }","selected":false},{"title":"REQUEST_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=request;}(...) } into { $VAR#var = None }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=request_encode_body;}(...) } into { $VAR#var = None }","selected":false},{"title":"URLOPEN_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=urlopen;}(...) } into { $VAR#var = None }","selected":false},{"title":"POOLMANAGER_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=PoolManager;}(...) } into { $VAR#var = None }","selected":false},{"title":"MAKE_HEADERS_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=make_headers;}(...) } into { $VAR#var = None }","selected":false},{"title":"RESPONSE_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=response;}(...) } into { $VAR#var = None }","selected":false}]},{"title":"URLLIB_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"CLEAR","description":"","specification":"change { $CALL{name=clear;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST","description":"","specification":"change { $CALL{name=request;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST_ENCODE_BODY","description":"","specification":"change { $CALL{name=request_encode_body;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"URLOPEN","description":"","specification":"change { $CALL{name=urlopen;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"POOLMANAGER","description":"","specification":"change { $CALL{name=PoolManager;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"MAKE_HEADERS","description":"","specification":"change { $CALL{name=make_headers;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"RESPONSE","description":"","specification":"change { $CALL{name=response;tag=call;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"CLEAR_IN_RETURN","description":"","specification":"change { return $CALL{name=clear;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST_IN_RETURN","description":"","specification":"change { return $CALL{name=request;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_RETURN","description":"","specification":"change { return $CALL{name=request_encode_body;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"URLOPEN_IN_RETURN","description":"","specification":"change { return $CALL{name=urlopen;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"POOLMANAGER_IN_RETURN","description":"","specification":"change { return $CALL{name=PoolManager;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"MAKE_HEADERS_IN_RETURN","description":"","specification":"change { return $CALL{name=make_headers;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"RESPONSE_IN_RETURN","description":"","specification":"change { return $CALL{name=response;tag=call;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"CLEAR_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=clear;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=request;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=request_encode_body;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"URLOPEN_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=urlopen;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"POOLMANAGER_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=PoolManager;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"MAKE_HEADERS_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=make_headers;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"RESPONSE_IN_VAR","description":"","specification":"change { $VAR#var =  $CALL{name=response;tag=call;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false}]},{"title":"URLLIB_THROW_EXCEPTION","folder":true,"children":[{"title":"REQUEST","description":"","specification":"change { $CALL{name=request;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_ENCODE_BODY","description":"","specification":"change { $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_2","description":"","specification":"change { $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_ENCODE_BODY_2","description":"","specification":"change { $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_3","description":"","specification":"change { $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"REQUEST_ENCODE_BODY_3","description":"","specification":"change { $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"POOLMANAGER","description":"","specification":"change { $CALL{name=PoolManager;}(...) } into { raise urllib3.exceptions.PoolError }","selected":false},{"title":"RESPONSE","description":"","specification":"change { $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPError }","selected":false},{"title":"RESPONSE_2","description":"","specification":"change { $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPWarning }","selected":false},{"title":"REQUEST_IN_RETURN","description":"","specification":"change { return $CALL{name=request;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_RETURN","description":"","specification":"change { return $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_2_IN_RETURN","description":"","specification":"change { return $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_ENCODE_BODY_2_IN_RETURN","description":"","specification":"change { return $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_3_IN_RETURN","description":"","specification":"change { return $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"REQUEST_ENCODE_BODY_3_IN_RETURN","description":"","specification":"change { return $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"POOLMANAGER_IN_RETURN","description":"","specification":"change { return $CALL{name=PoolManager;}(...) } into { raise urllib3.exceptions.PoolError }","selected":false},{"title":"RESPONSE_IN_RETURN","description":"","specification":"change { return $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPError }","selected":false},{"title":"RESPONSE_2_IN_RETURN","description":"","specification":"change { return $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPWarning }","selected":false},{"title":"REQUEST_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_ENCODE_BODY_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.RequestError }","selected":false},{"title":"REQUEST_2_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_ENCODE_BODY_2_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectionError }","selected":false},{"title":"REQUEST_3_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"REQUEST_ENCODE_BODY_3_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=request_encode_body;}(...) } into { raise urllib3.exceptions.ConnectTimeoutError }","selected":false},{"title":"POOLMANAGER_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=PoolManager;}(...) } into { raise urllib3.exceptions.PoolError }","selected":false},{"title":"RESPONSE_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPError }","selected":false},{"title":"RESPONSE_2_IN_VAR","description":"","specification":"change { $VAR = $CALL{name=response;}(...) } into { raise urllib3.exceptions.HTTPWarning }","selected":false}]},{"title":"URLPARSE_MISSING_FUNCTION_CALL","folder":true,"children":[{"title":"PARSE_QS","description":"","specification":"change { $CALL{name=parse_qs;}(...) } into { }","selected":false},{"title":"PARSE_QSL","description":"","specification":"change { $CALL{name=parse_qsl;}(...) } into { }","selected":false},{"title":"URLUNPARSE","description":"","specification":"change { $CALL{name=urlunparse;}(...) } into {  }","selected":false},{"title":"URLSPLIT","description":"","specification":"change { $CALL{name=urlsplit;}(...) } into {  }","selected":false},{"title":"URLJOIN","description":"","specification":"change { $CALL{name=urljoin;}(...) } into {  }","selected":false},{"title":"URLDEFRAG","description":"","specification":"change { $CALL{name=urldefrag;}(...) } into {  }","selected":false},{"title":"PARSE_QS_IN_RETURN","description":"","specification":"change { return $CALL{name=parse_qs;}(...) } into { return None }","selected":false},{"title":"PARSE_QSL_IN_RETURN","description":"","specification":"change { return $CALL{name=parse_qsl;}(...) } into { return None }","selected":false},{"title":"URLUNPARSE_IN_RETURN","description":"","specification":"change { return $CALL{name=urlunparse;}(...) } into { return None }","selected":false},{"title":"URLSPLIT_IN_RETURN","description":"","specification":"change { return $CALL{name=urlsplit;}(...) } into { return None }","selected":false},{"title":"URLJOIN_IN_RETURN","description":"","specification":"change { return $CALL{name=urljoin;}(...) } into { return None }","selected":false},{"title":"URLDEFRAG_IN_RETURN","description":"","specification":"change { return $CALL{name=urldefrag;}(...) } into { return None }","selected":false},{"title":"PARSE_QS_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=parse_qs;}(...) } into { $VAR#var = None }","selected":false},{"title":"PARSE_QSL_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=parse_qsl;}(...) } into { $VAR#var = None }","selected":false},{"title":"URLUNPARSE_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urlunparse;}(...) } into { $VAR#var = None }","selected":false},{"title":"URLSPLIT_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urlsplit;}(...) } into { $VAR#var = None }","selected":false},{"title":"URLJOIN_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urljoin;}(...) } into { $VAR#var = None }","selected":false},{"title":"URLDEFRAG_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urldefrag;}(...) } into { $VAR#var = None }","selected":false}]},{"title":"URLPARSE_TIMEOUT_FUNCTION_CALL","folder":true,"children":[{"title":"PARSE_QS","description":"","specification":"change { $CALL{name=parse_qs;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"PARSE_QSL","description":"","specification":"change { $CALL{name=parse_qsl;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"URLUNPARSE","description":"","specification":"change { $CALL{name=urlunparse;}(...) } into {  $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"URLSPLIT","description":"","specification":"change { $CALL{name=urlsplit;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"URLJOIN","description":"","specification":"change { $CALL{name=urljoin;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"URLDEFRAG","description":"","specification":"change { $CALL{name=urldefrag;}(...) } into { $TIMEOUT{ms=1000} $CALL{tag=call;}(...) }","selected":false},{"title":"PARSE_QS_IN_RETURN","description":"","specification":"change { return $CALL{name=parse_qs;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"PARSE_QSL_IN_RETURN","description":"","specification":"change { return $CALL{name=parse_qsl;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) return None }","selected":false},{"title":"URLUNPARSE_IN_RETURN","description":"","specification":"change { return $CALL{name=urlunparse;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"URLSPLIT_IN_RETURN","description":"","specification":"change { return $CALL{name=urlsplit;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"URLJOIN_IN_RETURN","description":"","specification":"change { return $CALL{name=urljoin;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"URLDEFRAG_IN_RETURN","description":"","specification":"change { return $CALL{name=urldefrag;}(...) } into { $TIMEOUT{ms=1000} return $CALL{tag=call;}(...) }","selected":false},{"title":"PARSE_QS_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=parse_qs;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"PARSE_QSL_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=parse_qsl;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"URLUNPARSE_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urlunparse;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"URLSPLIT_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urlsplit;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"URLJOIN_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urljoin;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false},{"title":"URLDEFRAG_IN_VAR","description":"","specification":"change { $VAR#var = $CALL{name=urldefrag;}(...) } into { $TIMEOUT{ms=1000} $VAR#var = $CALL{tag=call;}(...) }","selected":false}]},{"title":"URLPARSE_THROW_EXCEPTION","folder":true,"children":[{"title":"PARSE_QS","description":"","specification":"change { $CALL{name=parse_qs;}(...) } into { raise ValueError }","selected":false},{"title":"PARSE_QSL","description":"","specification":"change { $CALL{name=parse_qsl;}(...) } into { raise ValueError }","selected":false},{"title":"PARSE_QS","description":"","specification":"change { return $CALL{name=parse_qs;}(...) } into { raise ValueError }","selected":false},{"title":"PARSE_QSL","description":"","specification":"change { return $CALL{name=parse_qsl;}(...) } into { raise ValueError }","selected":false},{"title":"PARSE_QS","description":"","specification":"change { $VAR#var = $CALL{name=parse_qs;}(...) } into { raise ValueError }","selected":false},{"title":"PARSE_QSL","description":"","specification":"change { $VAR#var = $CALL{name=parse_qsl;}(...) } into { raise ValueError }","selected":false}]},{"title":"ML_LIBRARY","folder":true,"children":[{"title":"NOVA_KEYWORD_PARAMETER_ATTRIBUTE_FAULT","description":"This fault injects on a keyword-parameter to method call","specification":" change { \t$VAR#x = $CALL{tag=x; n_keywords=1:2;}(..., $VAR=$VAR.$ID) } into {  \t$VAR#x = $CALL{tag=x;} (...) } when { \twords='uuid, provider, self, resource, placement, instance, context, for, code, resp'; }","selected":false},{"title":"NOVA_KEYWORD_PARAMETER_VAR_FAULT","description":"This fault injects on a keyword-parameter to method call","specification":"change { \t$CALL{tag=x;}(..., $VAR=$VAR) } into {  \t$CALL{tag=x;} (...) } when { \tnesting_within_module = 4:7; \twords='instance, self, context, info, state, get, exception, host, volume, device'; }","selected":false},{"title":"NOVA_KEYWORD_PARAMETER_VAR_CORRUPT_FAULT","description":"This fault injects on a keyword-parameter to method call","specification":"change { \t$CALL{tag=x; n_keywords=1:3;}(..., $VAR=$VAR) } into {  \t$CALL{tag=x;} (..., $VAR=$CORRUPT($VAR)) } when { \tnesting_within_module = 3:6; \tnesting_within_function = 2:4; \tfunction_args = 1; \twords='instance, self, context, info, get, guest, disk, libvirt, device, host'; } ","selected":false},{"title":"NOVA_CONTROL_FLOW_VAR_ASSIGN_FAULT","description":"This fault injects a wrong control flow structure","specification":"change { \tif $EXPR: \t\t$VAR = $EXPR } into { } when { \tnesting_within_function = 1:5; \tfunction_args = 1; \twords='instance, self, self, get, host, info, none, uuid, exception, volume'; }","selected":false},{"title":"NOVA_RUN_ON_REBUILT_FAULT","description":"This fault injects a wrong value into RUN_ON_REBUILT in Nova","specification":" change { \tRUN_ON_REBUILD = $EXPR } into { } when { \tnesting_within_module = 2:2; \tnesting_within_class = 1:1; \tclass_hierarchy_depth = 1:1; \twords='instance,context,self,host,state,get,info,uuid,exceptin,none'; }","selected":false},{"title":"NOVA_CONTROL_FLOW_CALL_FAULT_1","description":"This fault injects a wrong control flow structure","specification":"change { \tif $EXPR: \t\t$CALL{tag=x;}(...) \telse: \t\t$CALL{tag=y;}(...)  } into { \t$CALL{tag=y;}(...)  } when { \tnesting_within_class = 2:9; \tclass_hierarchy_depth = 1:1; \twords='instance,self,context,state,info,exception,get,host,volume,migration'; }","selected":false},{"title":"NOVA_CONTROL_FLOW_BLOCK_FAULT_2","description":"This fault injects a wrong control flow structure","specification":"change { \tif $EXPR: \t\t$BLOCK#x  } into { \t$BLOCK#x  } when { \tnesting_within_module = 3:6; \tnesting_within_function = 1:5; \tfunction_args = 1:1; \tfunction_size = 3:7; \twords='instance,self,info,context,get,guest,libvirt,disk,migration,host'; }","selected":false},{"title":"NOVA_CONTROL_FLOW_CONDITION_FAULT_1","description":"This fault injects a wrong boolean condition in control flow","specification":"change { \tif $EXPR#x $CMPOP $EXPR#y: \t\t$BLOCK } into { \tif $EXPR#x: \t\t$BLOCK  } when { \tnesting_within_module = 4:5; \tnesting_within_class = 3:4; \tclass_hierarchy_depth = 1:1; \tnesting_within_function = 2:3; \tfunction_args = 1:1; \twords='instance,context,self,get,image,host,name,none,volume,type'; }","selected":false},{"title":"NOVA_CONTROL_FLOW_CONDITION_FAULT_2","description":"This fault injects a wrong boolean condition in control flow","specification":"change { \tif not ($EXPR#x $CMPOP $EXPR#y): \t\t$BLOCK } into { \tif $EXPR#x: \t\t$BLOCK  } when { \tnesting_within_module = 4:5; \tnesting_within_class = 3:4; \tclass_hierarchy_depth = 1:1; \tnesting_within_function = 2:3; \tfunction_args = 3:4; \twords='instance,context,self,get,image,host,name,none,volume,type'; }","selected":false},{"title":"NOVA_KEYWORD_PARAMETER_VAR_FAULT","description":"This fault injects on a keyword-parameter to method call","specification":"change { \t$CALL(..., $VAR=$EXPR) } into { \t$CALL(...)  } when { \tnesting_within_module = 4:6; \twords = 'instance,self,context,state,info,exception,task,host,migration,log'; } ","selected":false},{"title":"NOVA_ATTRIBUTE_VAR_FAULT","description":"This fault injects on an object attribute assignment","specification":"change { \t$VAR = $VAR.$ID } into {  } when { \twords = 'instance,self,context,info,uuid,state,host,exception,get,log'; } ","selected":false},{"title":"NOVA_ATTRIBUTE_VAR_FAULT_2","description":"This fault injects on an object attribute assignment","specification":"change { \t$VAR = $VAR.$ID } into {  } when { \twords = 'instance,self,context,info,uuid,state,host,exception,get,log'; } ","selected":false},{"title":"NOVA_ATTRIBUTE_VAR_FAULT_3","description":"This fault injects on an object attribute assignment","specification":"change { \t$CALL(..., $VAR.$ID) } into { \t$CALL(...) } when { \twords = 'instance,self,context,info,uuid,state,host,exception,get,log'; }","selected":false},{"title":"CINDER_CALL_FAULT","description":"This fault injects on a keyword-parameter to a function call","specification":"change { \t$CALL{tag=x;}(..., $VAR=$VAR) } into {  \t$CALL{tag=x;} (...) } when { \tnesting_within_module = 4:7; \twords='volume,self,group,context,name,snapshot,status,get,exception,none'; }","selected":false},{"title":"CINDER_CONTROL_FLOW_VAR_CHECK_FAULT","description":"This fault injects a wrong control flow structure","specification":"change { \t$VAR=$EXPR \tif $VAR $CMPOP $EXPR: \t\t$BLOCK } into { } when { \tnesting_within_module = 3:5; \tnesting_within_function = 1:3; \twords='volume,self,name,group,context,exception,get,specs,none,type'; }","selected":false},{"title":"CINDER_CALL_VAR_ASSIGN_FAULT","description":"This fault injects on a variable parameter to a function call","specification":"change {  \t$VAR#x = $EXPR \t$CALL{tag=f;}(..., $VAR=$VAR#x)  } into {  \t$CALL{tag=f;}(...)  } when { \tnesting_within_module = 2:3; \tnesting_within_class = 3:2; \tnesting_within_function = 1:2; \tfunction_args = 1:9; \twords='volume,self,context,status,backup,msg,name,snapshot,host,get'; }","selected":false},{"title":"CINDER_TRY_EXCEPT_FAULT","description":"This fault injects a wrong exception handling","specification":" change {  \ttry: \t\t$BLOCK#x \texcept $EXPR#e: \t\t$BLOCK#y  } into {  \traise $EXPR#e  } when { \tnesting_within_class = 2:4; \tclass_hierarchy_depth = 1:1; \twords = 'self,volume,name,group,get,error,exception,log,type,msg'; }","selected":false},{"title":"CINDER_CONTROL_FLOW_COND_FAULT","description":"This fault injects a wrong control flow structure","specification":"change {  \tif $EXPR: \t\t$BLOCK } into {  \tif not $EXPR: \t\t$BLOCK } when { \tnesting_within_module = 4:7; \tnesting_within_class = 3:6; \tclass_hierarchy_depth = 1:2; \tnesting_within_function = 2:5; \tfunction_args = 1:1; \twords='self,volume,lunsnapshot,info,get,name,client,type,new'; }  ","selected":false},{"title":"CINDER_CALL_WRONG_STRING_FAULT","description":"This fault injects a wrong string parameter to function call","specification":"change {  \t$CALL{tag=f; n_args=2:4;}(..., $STRING)  } into {  \t$CALL{tag=f;}(..., $CORRUPT($STRING))  } when { \twords='self,volume,gpfs,path,error,exception,configuration,log,image,snapshot'; }","selected":false},{"title":"NEUTRON_CALL_1_PARAM_FAULT","description":"This fault injects an omission on a function call","specification":"change { \t$CALL($VAR) } into { } when { \tnesting_within_function=1:3; \tfunction_args=1:1; \tfunction_size=5:7; words='self,port,network,rule,get,rules,ports,ipv,dhcp,device'; }","selected":false},{"title":"NEUTRON_CALL_NO_PARAM_FAULT","description":"This fault injects an omission on a function call","specification":"change { \t$CALL() } into { } when { \tnesting_within_module=2:5; \tnesting_within_function=1:3; \tfunction_args=1:6; words='self,port,context,network,bridge,interface,name,get,device,agent'; }","selected":false},{"title":"NEUTRON_CONTROL_FLOW_RETURN_FAULT","description":"This fault injects a wrong control flow structure","specification":"change { \tif $EXPR: \t\t$BLOCK \t\treturn } into { } when { \tnesting_within_module=3:3; \tnesting_within_class=2:2; \tnesting_within_function=1:1; \tfunction_args=1:1; \twords='self,port,name,interface,get,context,keepalived,router,state,manager'; }","selected":false},{"title":"NEUTRON_CALL_2_PARAM_FAULT","description":"This fault injects an omission on a function call","specification":"change { \t$CALL($VAR,$VAR) } into { } when { \twords='policy,self,context,rule,port,network,qos,get,type,object'; }","selected":false},{"title":"NEUTRON_CALL_BOOL_PARAM_FAULT","description":"This fault injects a wrong boolean keyword parameter to function call","specification":"change { \t$CALL{tag=x; n_keywords=1:3;}(..., $VAR=True) } into { \t$CALL{tag=x;}(...) } when { \twords='self,port,name,router,get,network,device,fip,context,interface'; }","selected":false}]},{"title":"NOVA_ML","folder":true,"children":[{"title":"nova_131_ADD_VAR_FUNCTION","description":"","specification":"change  { $CALL{tag=x;} (..., $VAR=$VAR) } into { $CALL{tag=x;} (...) }","selected":true},{"title":"nova_128_ADD_ARGUMENTS","description":"","specification":"change  { $CALL{tag=x;} (..., $VAR=$VAR.$ID) } into { $CALL{tag=x;} (...) }","selected":true},{"title":"nova_132_ADD_FUNC","description":"","specification":"change { $CALL{tag=x; n_keywords=1:3;}(...) } into { $CALL{tag=x;}(..., key=None) }","selected":true},{"title":"nova_1099_REMOVE_ATTRIBUTE_1","description":"","specification":"change  { $VAR = $VAR.$ID } into { }","selected":true},{"title":"nova_1099_REMOVE_ATTRIBUTE_3","description":"","specification":"change  { $CALL(..., $VAR.$ID) } into { $CALL (...) }","selected":true},{"title":"nova_1097_ADD_VAR_FUNCTIONS","description":"","specification":"change  { $CALL(..., $VAR=$EXPR) } into { $CALL (...) }","selected":true},{"title":"nova_474_SURROUND_IF_BLOCK","description":"","specification":"change  { if $EXPR: $CALL{tag=x;}(...) } into { $CALL{tag=x;}(...) }","selected":true},{"title":"nova_597_SURROUND_IF_BLOCK","description":"","specification":"change  { if $EXPR: $BLOCK{tag=x} } into { $BLOCK{tag=x} }","selected":true},{"title":"nova_629_IF_REMOVE_CONDITION","description":"","specification":"change { if $EXPR#x $CMPOP $EXPR#y: $BLOCK } into { if $EXPR#x: $BLOCK }","selected":true},{"title":"nova_197_ADD_IF_AND_BODY","description":"","specification":"change  { if $EXPR: $VAR = $EXPR } into { }","selected":true},{"title":"nova_1099_REMOVE_ATTRIBUTE_2","description":"","specification":"change { $VAR#x = { $STRING : $EXPR, ... } } into { $VAR#x = { ... } }  ","selected":true},{"title":"nova_228_1","description":"","specification":"change { $VAR = $NUM } into { }","selected":true},{"title":"nova_228_2","description":"","specification":"change { $VAR = $STRING } into { }","selected":true},{"title":"nova_228_3","description":"","specification":"change { $VAR = $ID } into { }","selected":true}]},{"title":"CINDER_ML","folder":true,"children":[{"title":"cinder_115_ADD_VAR","description":"","specification":"change  { $CALL{tag=x;}(..., $VAR=$VAR) } into { $CALL{tag=x;} (...) }","selected":false},{"title":"cinder_438_ADD_IF","description":"","specification":"change  { $VAR=$EXPR if $VAR $CMPOP $EXPR: $BLOCK } into { }","selected":false},{"title":"cinder_583_EXCEPTION_HANDLING","description":"","specification":"change  { try: $BLOCK#x except $EXPR#e: $BLOCK#y } into { }","selected":false},{"title":"cinder_627_REPLACE_IF","description":"","specification":"change { if $EXPR: $BLOCK } into { if not $EXPR: $BLOCK }","selected":false},{"title":"cinder_14_ADD_FC","description":"","specification":"change { $CALL (...) } into { }","selected":false},{"title":"cinder_542_MOVE_FC","description":"","specification":"change { $VAR#x = $EXPR $CALL{tag=f;}(..., $VAR=$VAR#x) } into { }","selected":false},{"title":"cinder_1168_REPLACE_ARG","description":"","specification":"change  { $CALL{tag=f;}(... , $STRING) } into { $CALL{tag=f;}(..., $CORRUPT($STRING)) }","selected":false},{"title":"cinder_621_ADD_KEY_VALUE","description":"","specification":"change { $VAR#x = { $STRING : $EXPR, ... } } into { $VAR#x = { ... } }","selected":false}]},{"title":"NEUTRON_ML","folder":true,"children":[{"title":"neutron_119_ADD_BOOLEAN","description":"","specification":"change { $CALL{tag=x;}(... , $VAR=True) } into { $CALL{tag=x;}(...) }","selected":false},{"title":"neutron_13_ADD_FC_1_PARAM","description":"","specification":"change  { $CALL($VAR) } into { }","selected":false},{"title":"neutron_14_ADD_FC_NO_PARAM","description":"","specification":"change { $CALL(...) } into { }","selected":false},{"title":"neutron_23_ADD_FC_2_PARAM","description":"","specification":"change  { $CALL($VAR ,$VAR) } into { }","selected":false},{"title":"neutron_20_ADD_IF","description":"","specification":"change { if $EXPR: $BLOCK return } into { }","selected":false},{"title":"neutron_132_ADD_KEY_VALUE","description":"","specification":"change { $VAR#x = { $STRING : $EXPR, ... } } into { $VAR#x = { ... } }","selected":false}]}]