Constant Field Values

Contents

• edu.udel.*

edu.udel.*

edu.udel.cis.vsl.civl.analysis.IF.Analysis

Modifier and Type	Constant Field	Value
public static final java.lang.String	ABS	"abs"

edu.udel.cis.vsl.civl.config.IF.CIVLConstants

Modifier and Type	Constant Field	Value
public static final java.lang.String	ASSERT	"assert.h"
public static final java.lang.String	bar	"==================="
public static final java.lang.String	BUNDLE	"bundle.cvh"
public static final java.lang.String	CIVL_CUDA	"civl-cuda.cvh"
public static final java.lang.String	CIVL_MPI	"civl-mpi.cvh"
public static final java.lang.String	CIVL_OMP	"civl-omp.cvh"
public static final java.lang.String	CIVL_OMP_IMP	"civl-omp.cvl"
public static final java.lang.String	CIVL_PTHREAD	"civl-pthread.cvh"
public static final java.lang.String	CIVLC	"civlc.cvh"
public static final java.lang.String	CIVLREP	"CIVLREP"
public static final java.lang.String	civlSystemFunction	"main"
public static final java.lang.String	COLLATE	"collate.cvh"
public static final java.lang.String	COMM	"comm.cvh"
public static final java.lang.String	COMPLEX	"complex.h"
public static final java.lang.String	CONCURRENCY	"concurrency.cvh"
public static final int	consoleUpdatePeriod	15
public static final java.lang.String	CONTRACT_CHECK_ALL	"_CIVL_CONTRACT_ALL"
public static final java.lang.String	CONTRACT_CHECK_NONE	"_CIVL_CONTRACT_NONE"
public static final java.lang.String	CTYPE	"ctype.h"
public static final java.lang.String	CUDA	"cuda.h"
public static final java.lang.String	date	"2021-11-04"
public static final int	EOS	0
public static final java.lang.String	FLOAT	"float.h"
public static final java.lang.String	FORTRAN_ARRAY	"fortran_array.cvh"
public static final java.lang.String	FORTRAN_ARRAY_IMP	"fortran_array.cvl"
public static final java.lang.String	FORTRAN_SIGP	"fortran_sigp.cvh"
public static final java.lang.String	FORTRAN_SIGP_IMP	"fortran_sigp.cvl"
public static final java.lang.String	GD	"gd.h"
public static final java.lang.String	GDFX	"gdfx.h"
public static final java.lang.String	LIBRARY_PREFIX	"edu.udel.cis.vsl.civl.library."
public static final java.lang.String	LIMITS	"limits.h"
public static final java.lang.String	MATH	"math.h"
public static final java.lang.String	MEM	"mem.cvh"
public static final java.lang.String	MPI	"mpi.h"
public static final java.lang.String	OMP	"omp.h"
public static final java.lang.String	OP	"op.h"
public static final java.lang.String	PTHREAD	"pthread.h"
public static final java.lang.String	SEQ	"seq.cvh"
public static final java.lang.String	statsBar	"==="
public static final java.lang.String	STDARG	"stdarg.h"
public static final java.lang.String	STDBOOL	"stdbool.h"
public static final java.lang.String	STDDEF	"stddef.h"
public static final java.lang.String	STDINT	"stdint.h"
public static final java.lang.String	STDIO	"stdio.h"
public static final java.lang.String	STDLIB	"stdlib.h"
public static final java.lang.String	STRING_LIB	"string.h"
public static final java.lang.String	SVCOMP	"svcomp.h"
public static final java.lang.String	SYS_TIME	"sys/time.h"
public static final java.lang.String	SYS_TIMES	"sys/times.h"
public static final java.lang.String	TIME	"time.h"
public static final java.lang.String	UNISTD	"unistd.h"
public static final java.lang.String	version	"1.21"
public static final int	webUpdatePeriod	1

edu.udel.cis.vsl.civl.model.IF.LogicFunction

Modifier and Type	Constant Field	Value
public static final java.lang.String	RESERVED_PERMUT	"permut"

edu.udel.cis.vsl.civl.model.IF.ModelConfiguration

Modifier and Type	Constant Field	Value
public static final java.lang.String	ANONYMOUS_VARIABLE_PREFIX	"_anon_"
public static final java.lang.String	ATOMIC_LOCK_VARIABLE_INDEX	"_atomic_lock_var"
public static final java.lang.String	BARRIER_TYPE	"_barrier"
public static final java.lang.String	BROKEN_TIME_VARIABLE	"_broken_time_var"
public static final java.lang.String	BUNDLE_TYPE	"_bundle"
public static final java.lang.String	COLLATE_STATE	"$collate_state"
public static final java.lang.String	COLLATOR_TYPE	"$collator"
public static final java.lang.String	COMM_TYPE	"_comm"
public static final java.lang.String	COMM_WORLD	"MPI_COMM_WORLD"
public static final java.lang.String	ContractMPICommRankName	"$mpi_comm_rank"
public static final java.lang.String	ContractMPICommSizeName	"$mpi_comm_size"
public static final java.lang.String	ContractResultName	"$result"
public static final int	DECOMP_ALL	0
public static final int	DECOMP_RANDOM	1
public static final int	DECOMP_ROUND_ROBIN	2
public static final int	DYNAMIC_CONSTANT_SCOPE	-1
public static final int	DYNAMIC_NULL_SCOPE	-2
public static final java.lang.String	DYNAMIC_TYPE	"$dynamic"
public static final java.lang.String	DYNAMIC_TYPE_NAME	"dynamicType"
public static final int	DYNAMIC_UNDEFINED_SCOPE	-1
public static final java.lang.String	FILE_STREAM_TYPE	"FILE"
public static final java.lang.String	FILE_SYSTEM_TYPE	"CIVL_filesystem"
public static final java.lang.String	FILESYSTEM	"_io_filesystem"
public static final java.lang.String	GBARRIER_TYPE	"_gbarrier"
public static final java.lang.String	GCOLLATE_STATE	"$gcollate_state"
public static final java.lang.String	GCOLLATOR_TYPE	"$gcollator"
public static final java.lang.String	GCOMM_TYPE	"$gcomm"
public static final java.lang.String	GCOMM_WORLD	"_mpi_gcomm"
public static final java.lang.String	GCOMMS	"_mpi_gcomms"
public static final java.lang.String	GENERAL_ROOT	"_civl_root"
public static final int	HAVOC_PREFIX_INDEX	1
public static final int	HEAP_OBJECT_PREFIX_INDEX	2
public static final java.lang.String	HEAP_TYPE	"$heap"
public static final java.lang.String	HEAP_VAR	"_heap"
public static final int	HEAP_VARIABLE_INDEX	0
public static final int	INPUT_PREIFX_INDEX	0
public static final java.lang.String	INT_ITER_TYPE	"$int_iter"
public static final java.lang.String	INVALID	"INVALID"
public static final java.lang.String	MESSAGE_TYPE	"_message"
public static final java.lang.String	MPI_SYS_STATUS	"_mpi_status"
public static final java.lang.String	NEXT_TIME_COUNT	"$next_time_count"
public static final java.lang.String	NPROCS	"_mpi_nprocs"
public static final java.lang.String	NPROCS_LOWER_BOUND	"_mpi_nprocs_lo"
public static final java.lang.String	NPROCS_UPPER_BOUND	"_mpi_nprocs_hi"
public static final int	NULL_POINTER_DYSCOPE	-1
public static final int	NULL_POINTER_VID	-1
public static final java.lang.String	PROC_TYPE	"$proc"
public static final java.lang.String	PTHREAD_GPOOL	"_pthread_gpool_t"
public static final java.lang.String	PTHREAD_POOL	"_pthread_pool_t"
public static final java.lang.String	PTHREAD_THREAD_TYPE	"pthread_t"
public static final java.lang.String	QUEUE_TYPE	"_queue"
public static final java.lang.String	RANGE_TYPE	"$range"
public static final java.lang.String	REAL_FILE_TYPE	"$file"
public static final java.lang.String	SCOPE_TYPE	"$scope"
public static final int	STATIC_CONSTANT_SCOPE	0
public static final int	STATIC_ROOT_SCOPE	1
public static final java.lang.String	TIME_COUNT_VARIABLE	"_time_count_var"
public static final java.lang.String	TIME_LIB	"time.h"
public static final java.lang.String	TM_TYPE	"tm"
public static final int	UNDEFINED_PROC_ID	-1

edu.udel.cis.vsl.civl.run.IF.CommandLine

Modifier and Type	Constant Field	Value
public static final java.lang.String	COMPARE	"compare"
public static final java.lang.String	CONFIG	"config"
public static final java.lang.String	GUI	"gui"
public static final java.lang.String	HELP	"help"
public static final java.lang.String	REPLAY	"replay"
public static final java.lang.String	RUN	"run"
public static final java.lang.String	SHOW	"show"
public static final java.lang.String	VERIFY	"verify"

edu.udel.cis.vsl.civl.run.IF.UserInterface

Modifier and Type	Constant Field	Value
public static final boolean	debug	false

edu.udel.cis.vsl.civl.transform.IF.ContractTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"contract"
public static final java.lang.String	LONG_NAME	"ContractTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms C/MPI program to a set of programs each of which verifies a single function"

edu.udel.cis.vsl.civl.transform.IF.Cuda2CIVLTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"cuda"

edu.udel.cis.vsl.civl.transform.IF.DirectingTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"direct"
public static final java.lang.String	LONG_NAME	"DirectedSymEx"
public static final java.lang.String	SHORT_DESCRIPTION	"instruments model to direct sybolic execution"

edu.udel.cis.vsl.civl.transform.IF.GeneralTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"general"
public static final java.lang.String	LONG_NAME	"GeneralTransformer"
public static final java.lang.String	PREFIX	"_civl_"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms general features of C programs to CIVL-C"

edu.udel.cis.vsl.civl.transform.IF.IntOperationTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"int_operation"
public static final java.lang.String	LONG_NAME	"IntOperationTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"integer arithmetic operations to its corresponding library functions."

edu.udel.cis.vsl.civl.transform.IF.IOTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"io"
public static final java.lang.String	LONG_NAME	"IOTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms C program with IO to CIVL-C"

edu.udel.cis.vsl.civl.transform.IF.LoopContractTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"loop"
public static final java.lang.String	LONG_NAME	"LoopContractTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms loops contracts into CIVL IR."

edu.udel.cis.vsl.civl.transform.IF.MacroTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"macro"
public static final java.lang.String	LONG_NAME	"MacroTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"recovers macros from C programs to CIVL-C"

edu.udel.cis.vsl.civl.transform.IF.MPI2CIVLTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"mpi"
public static final java.lang.String	LONG_NAME	"MPITransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms C/MPI program to CIVL-C"

edu.udel.cis.vsl.civl.transform.IF.OpenMP2CIVLTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"openmp"

edu.udel.cis.vsl.civl.transform.IF.OpenMPOrphanTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"openmp_orphan"

edu.udel.cis.vsl.civl.transform.IF.OpenMPSimplifier

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"omp_simplifier"
public static final java.lang.String	LONG_NAME	"OpenMPSimplifier"
public static final java.lang.String	SHORT_DESCRIPTION	"simplifies independent C/OpenMP constructs"

edu.udel.cis.vsl.civl.transform.IF.Pthread2CIVLTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"pthread"
public static final java.lang.String	LONG_NAME	"PthreadTransformer"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms C/Pthread program to CIVL-C"

edu.udel.cis.vsl.civl.transform.IF.ShortCircuitTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"short-circuit"
public static final java.lang.String	LONG_NAME	"shortCircuitTransformer"
public static final java.lang.String	PREFIX	"_shcc_"
public static final java.lang.String	SHORT_DESCRIPTION	"transforms logical AND, logical OR and logical IMPLIES away to lift short circuit evaluation in CIVL backend"

edu.udel.cis.vsl.civl.transform.IF.SvcompTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	CODE	"svcomp"
public static final int	INT_BOUND_LO	-5
public static final int	INT_BOUND_UP	5
public static final java.lang.String	INT_BOUND_UP_NAME	"_svcomp_int_bound_up"
public static final int	UNPP_SCALE_EVEN	4
public static final int	UNPP_SCALE_ODD	3
public static final int	UNSIGNED_BOUND	4
public static final java.lang.String	UNSIGNED_BOUND_NAME	"_svcomp_unsigned_bound"

edu.udel.cis.vsl.civl.util.IF.Utils

Modifier and Type	Constant Field	Value
public static final java.lang.String	ANSI_BLACK	"\u001b[30m"
public static final java.lang.String	ANSI_BLUE	"\u001b[34m"
public static final java.lang.String	ANSI_BOLD	"\u001b[1m"
public static final java.lang.String	ANSI_CYAN	"\u001b[36m"
public static final java.lang.String	ANSI_GREEN	"\u001b[32m"
public static final java.lang.String	ANSI_OVERSTRIKE	"\u001b[9m"
public static final java.lang.String	ANSI_OVERSTRIKE_OFF	"\u001b[29m"
public static final java.lang.String	ANSI_PURPLE	"\u001b[35m"
public static final java.lang.String	ANSI_RED	"\u001b[31m"
public static final java.lang.String	ANSI_RESET	"\u001b[0m"
public static final java.lang.String	ANSI_UNDERLINE	"\u001b[4m"
public static final java.lang.String	ANSI_UNDERLINE_OFF	"\u001b[24m"
public static final java.lang.String	ANSI_WHITE	"\u001b[37m"
public static final java.lang.String	ANSI_YELLOW	"\u001b[33m"