GitHub - AntoineToubhans/Shape-Analysis-Abstract-Interpretor: an attempt to realize an efficient abstract analyser using cross-reduced shape domain

AntoineToubhans / Shape-Analysis-Abstract-Interpretor Public

an attempt to realize an efficient abstract analyser using cross-reduced shape domain

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 116 Commits
test		test
README		README
SL_domain.ml		SL_domain.ml
SL_graph_domain.ml		SL_graph_domain.ml
TVLA_domain.ml		TVLA_domain.ml
domain_sig.ml		domain_sig.ml
functor_DIS2DOM.ml		functor_DIS2DOM.ml
functor_SL2DIS.ml		functor_SL2DIS.ml
inductive_def.ml		inductive_def.ml
lexer.mll		lexer.mll
main.ml		main.ml
makefile		makefile
neq_pred_domain.ml		neq_pred_domain.ml
offset.ml		offset.ml
parser.mly		parser.mly
pred_prod_SL.ml		pred_prod_SL.ml
simple_C_syntax.ml		simple_C_syntax.ml
simple_prod_SL.ml		simple_prod_SL.ml
utils.ml		utils.ml
xml_gen.ml		xml_gen.ml

Repository files navigation

Antoine TOUBHANS
Internship at ENS 2011

Shape Analysis Abstract Interpretor

an attempt to realize an efficient abstract analyser using cross-reduced shape domain

No releases published

No packages published