Age | Commit message (Collapse) | Author |
|
This new feature is able to take multiple PLTs, merge them during the
start of the analysis, and work from there. This works provided that
the PLTs do not have a module with the same name appearing in more
than one PLT.
The PLTs are created in the usual way:
dialyzer --build_plt --output_plt PLT_1 FILES_TO_INCLUDE
...
dialyzer --build_plt --output_plt PLT_N FILES_TO_INCLUDE
and then can be used in either of the following ways:
dialyzer FILES_TO_ANALYZE --plts PLT_1 ... PLT_N
or:
dialyzer --plts PLT_1 ... PLT_N -- FILES_TO_ANALYZE
(Note the -- delimiter in the second case)
|
|
That caused a 'log_header' entry to added to the disc_copies tables.
|
|
super:bmk_otp into dev
|
|
The default maximum number of slots of Dets tables has been changed to
be equal to the maximum number of slots.
|
|
|
|
run_test to ct_run
|
|
* pan/embedded-mode-testcase/OTP-8905:
Unload stray applications from application_SUITE before creating script
Make testcase filter away bogus applications from earlier suites
Add test loading all of OTP in boot script and running embedded
|
|
* pan/gen_udp-connect-testcase/OTP-8860:
Teach gen_udp_SUITE:connect testcase about econnreset on Windows
|
|
* pan/code-clash-testcase/OTP-8852:
Teach code_SUITE:clash Windows file system semantics
|
|
* pan/auto-import-doc-fix/OTP-8848:
Correct description of no_auto_import compiler directive
|
|
|
|
|
|
added missing include directory.
|
|
* ta/fix-native-looping:
error_handler: add no_native compiler directive
|
|
* egil/superfluous-supervisor-report/OTP-8938:
Remove superfluous supervisor error report
|
|
* dgud/wx/misc-bugs/OTP-8951:
Add wxSystemSettings
Avoid eternal loops when quiting
|
|
|
|
* ia/ssl-decryption-error2/OTP-8930:
Added alert in stream cipher case.
|
|
* dgud/wx/separate-opengl:
Fix non available opengl functions
Add lib paths for *bsd variants
Initilize opengl after setCurrent
Update to OpenGL 4.1
Remove ostype sub dirs below wx/priv
Windows and Mac build issues
Add dialyser spec
Better make dependecies for api generation
Split opengl functionality into separate dynamic library
|
|
|
|
|
|
When gc_bif instructions occurred outside of a block,
beam_utils:check_liveness/3 did not take into account
that the instruction could do a garbage collection, and
could falsely report that an x register would be killed.
That could cause the beam_dead pass to make the code
unsafe by removing the assignment to an x register that
would subsequently be referenced by the garbage collector.
Reported-by: Christopher Williams
|
|
The asn1 driver is loaded automatically when first needed.
If several processes in parallel is doing asn1 encode or decode a race
could appear which caused an ERROR report for a crashed process. The
system still worked as intended, but an unnecessary ERROR report is
no good.
|
|
From R14B integers use all 32 bits of external format
INTEGER_EXT. erl_term_len still had the 28-bit check and therefor
returned a too large values (7 instead of 5) for integers of 29-32
bits.
erl_term_len also returned a 2 bytes too small value for references.
|
|
|
|
|
|
* egil/eprof-api-mismatch/OTP-8853:
Fix eprof API mismatch of sort functionality
|
|
* sverker/ets_compress/OTP-8922:
ETS 'compressed' option.
|
|
* sverker/crypto_aes_ctr_cmac/OTP-8752:
Fix nif_SUITE to not assume that it is the only one loading NIFs.
crypto CTR support
|
|
Option {sort, calls} now sorts on calls.
Option {sort, time } now sorts on time.
|
|
The compressed format is using a slighty modified variant of the extern format
(term_to_binary). To not worsen key lookup's too much, the top tuple itself
and the key element are not compressed. Table objects with only immediate
non-key elements will therefor not gain anything (but actually consume one
extra word for "alloc_size").
|
|
* ao/mod_auth-doc-typos:
Fix escaped xml character and a missing closing tag in mod_auth.xml
|
|
* bf/mnesia-doc-fixes:
doc: "works like" instead of "works as" + missing like
remove '\011' from mnesia doc
fix typo in mnesia doc
|
|
* lukas/common_test/master_include/OTP-8935:
Update master test to put slave logs in /tmp for windows as otherwise filenames become too long and the tests fail
Update master test specs to work with include directives
|
|
* ml/re-manpage-cleanup:
Improve the 're' manpage by correcting typos and rewording
|
|
|
|
* ks/edoc-dialyzer-fixes:
Fix various dialyzer warnings
|
|
* ks/dialyzer-fixes:
dialyzer: Speed up analysis of nested list comprehensions
|
|
* ms/ei-fixes:
ei: check memory was allocated
ei: error if return value of ei_alloc_big is NULL
OTP-8943
|
|
* ks/file_open-mode:
Add the {encoding, _} options to file:open/2's modes
|
|
* ms/ei-fix-node-name-overflow:
ei: check the length of the node name
OTP-8943
|
|
* ks/hipe-patches:
hipe: Update types and specs
|
|
|
|
* ks/erl_types-fixes:
erl_types: Fix pretty rare crashes and an infinite loop
OTP-8942
|
|
- Fixed pretty rare crash when taking the infimum of two tuple_sets
(initial fix by Kostis Sagonas but then a better fix was provided
by Stavros Aronis and this is the one adopted).
- Fixed pretty rare crash when using parameterized types containing unbound
variables (thanks to Nicolas Trangez for reporting it).
- Fixed pretty rare infinite loop when refining the types of an SCC whose
functions all returned none() (thanks to Stavros Aronis).
|
|
Opengl functions are loaded at runtime and differ with drivers and
cards.
|
|
In description of the list_users/2 function, the character < was escaped
and a closing tag was missing which resulted in an invalid xml and
a wrong formatting.
|
|
|
|
Also changed alert to BAD_RECORD_MAC as:
"differentiating between bad_record_mac and decryption_failed alerts
may permit certain attacks against CBC mode as used in TLS
[CBCATT]. It is preferable to uniformly use the bad_record_mac
alert to hide the specific type of the error."
Also cleaned up the code and changed a few other alert reasons in
according to alert descriptions in the TLS RFC 4346. And added function
terminate_alert/3 so that we can differentiate between a crash
in ssl (a bug in our code) and a crash in the application using ssl.
|
|
|