Files

 master

/

deepconcolic

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

nberth

Batch evaluations of individual network layers to improve scalability

Jun 21, 2021

5aba393 · Jun 21, 2021

History

History

This branch is up to date with TrustAI/DeepConcolic:master.

/

deepconcolic

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
__init__.py		__init__.py	Revert "Tuto-secific branch (breaks functionality: NOT for master bra…	Mar 15, 2021
amplif.py		amplif.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
ap_lp.py		ap_lp.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
ap_main.py		ap_main.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
bounds.py		bounds.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
datasets.py		datasets.py	New fuzzer support for sub-sampling the raw testset, and getting raw …	Mar 30, 2021
dbnabstr.py		dbnabstr.py	Name sub-command of `deepconcolic.dbnabstr' for proper usage message …	Feb 15, 2021
dbnc.py		dbnc.py	Add shallow-first policy in test target selection heuristics for BN-b…	Mar 21, 2021
dbncXplore.py		dbncXplore.py	Update python path whenever a module from `deepconcolic' is loaded	Feb 9, 2021
dbnc_l0.py		dbnc_l0.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
dbnc_pulp.py		dbnc_pulp.py	Make some LP solvers happier by giving them floats instead of wider p…	Mar 23, 2021
dbnc_stats.py		dbnc_stats.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
dbneval_transforms.py		dbneval_transforms.py	Update python path whenever a module from `deepconcolic' is loaded	Feb 9, 2021
engine.py		engine.py	Reimplementing DNN-specific fuzzer	Mar 29, 2021
eval_classifier.py		eval_classifier.py	Reimplementing DNN-specific fuzzer	Mar 29, 2021
filters.py		filters.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
fuzz_variables.py		fuzz_variables.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
fuzzer.py		fuzzer.py	Document specification of new datasets via plugins in README.md (and …	Apr 15, 2021
gen_fashion_mnist.py		gen_fashion_mnist.py	Make DeepConcolic use more platform-independent naming scheme for fil…	Mar 21, 2021
gen_har.py		gen_har.py	Build and train new decomposed HAR model for better / more scalable t…	Mar 23, 2021
gen_mnist.py		gen_mnist.py	Make DeepConcolic use more platform-independent naming scheme for fil…	Mar 21, 2021
kde_utils.py		kde_utils.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
l0_encoding.py		l0_encoding.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
labels.txt		labels.txt	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
lp.py		lp.py	Enable presolve by CBC/COIN	Mar 23, 2021
main.py		main.py	Remove fuzzing-related code in `deepconcolic.main', and cleanup its a…	Mar 30, 2021
mcdc.py		mcdc.py	Make DeepConcolic use more platform-independent naming scheme for fil…	Mar 21, 2021
mcdc_pulp.py		mcdc_pulp.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
nc.py		nc.py	Enable selecting filters of convolutional layers in SSC coverage, to …	Mar 21, 2021
nc_l0.py		nc_l0.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
nc_pulp.py		nc_pulp.py	Cleaner reporting of missed NC activation targets	Mar 23, 2021
norms.py		norms.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
plotting.py		plotting.py	Small `utils.harviz' utility to plot feature distribution of generate…	Feb 16, 2021
plugins.py		plugins.py	Consolidate and expand plugin system	Apr 14, 2021
pulp_encoding.py		pulp_encoding.py	Make some LP solvers happier by giving them floats instead of wider p…	Mar 23, 2021
pulp_norms.py		pulp_norms.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
recviz.py		recviz.py	Fix a bug in `recviz', to handle duplicated inputs in the initial tes…	Apr 13, 2021
run_ssc.py		run_ssc.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
run_template.py		run_template.py	Bug fix in fuzzer engine	Feb 10, 2021
scripting.py		scripting.py	Make DeepConcolic use more platform-independent naming scheme for fil…	Mar 21, 2021
ssc.py		ssc.py	Change concolic SSC so it precisely accounts for covered neuron pairs	Mar 23, 2021
training.py		training.py	Add example dataset plugin for generating random classification tasks…	Apr 14, 2021
training_utils.py		training_utils.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
utils.py		utils.py	Batch evaluations of individual network layers to improve scalability	Jun 21, 2021
utils_args.py		utils_args.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
utils_funcs.py		utils_funcs.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
utils_imports.py		utils_imports.py	Consolidate and expand plugin system	Apr 14, 2021
utils_io.py		utils_io.py	Make DeepConcolic use more platform-independent naming scheme for fil…	Mar 21, 2021
utils_mp.py		utils_mp.py	Do not use apparently broken sharedmem, and pay the price on non-Unix…	Mar 29, 2021
utils_stats.py		utils_stats.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
vgg16_example.py		vgg16_example.py	Rename src' directory into deepconcolic', and `deepconcolic.py' int…	Feb 9, 2021
View all files