stdio tests
ignore sublime workspace config
Merge remote-tracking branch 'upstream/master'
start file use analysis + tests
product of sets for fileDomain
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/util/goblintutil.ml
opened and closed file handles are saved in ctx.local
Merge remote-tracking branch 'upstream/master'
rm ma.sublime-workspace
debug locations: assign is not called if special_fn is called
fclose gets Lval as argument, but fprintf gets CastE(TPtr(TNamed(FILE, ...)), Lval(...))
fprintf: query_lv doesn't give any results for Cast-exp
Messages.print_group marks the correct lines, but warnings are global.
print_msg, warn, warn_each show nothing.
print_err is not bound??
also warn about unclosed files at declaration
Merge remote-tracking branch 'upstream/master'
FileUse: changed to M.report
Messages: optional location for report + add local warning in html
Htmldump: added htmlLocalWarningList
js_template: fixed error for non-existing analysis_line
makemon.sh: make on file changes, do tests if make successful
tests
switched to Map of Variables to varinfo * loc * state * cert
TODO: functions, stack of locations
returning of file handles
notes