summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_validator.erl
Commit message (Expand)AuthorAgeFilesLines
* Check that messages outside of the heap are not corruptedBjörn Gustavsson2018-04-061-26/+119
* Enhance beam_validator to check proper nesting of try/catch and catchBjörn Gustavsson2018-03-011-0/+24
* Merge branch 'maint'Björn Gustavsson2018-02-141-1/+6
|\
| * Check that the stack is initialized when an exception may occurBjörn Gustavsson2018-02-091-1/+6
* | Eliminate get_list/3 internally in the compilerBjörn Gustavsson2018-01-261-0/+6
* | Merge pull request #1691 from bjorng/bjorn/compiler/local-cseBjörn Gustavsson2018-01-261-11/+22
|\ \
| * | beam_validator: Validate building of tuplesBjörn Gustavsson2018-01-231-11/+22
* | | Don't build a stacktrace if it's only passed to erlang:raise/3Björn Gustavsson2018-01-221-0/+2
|/ /
* | Merge branch 'maint'Björn Gustavsson2018-01-101-1/+6
|\ \ | |/
| * beam_validator: Strengthen validation of GC instructionsBjörn Gustavsson2018-01-081-1/+6
* | Use the new syntax for retrieving stack tracesBjörn Gustavsson2017-12-081-2/+1
* | Add syntax in try/catch to retrieve the stacktrace directlyBjörn Gustavsson2017-11-301-0/+2
|/
* Fix incorrect internal consistency failure for binary matching codeBjörn Gustavsson2017-09-291-3/+3
* Make handling of match contexts stricterBjörn Gustavsson2017-08-301-7/+7
* Merge branch 'john/compiler/fail-labels-in-blocks-otp-18/ERIERL-48/OTP-14522'...Lukas Larsson2017-08-221-2/+2
|\
| * compiler: Fix live regs update on allocate in validatorLukas Larsson2017-08-161-2/+2
* | Update copyright yearRaimo Niskanen2017-05-041-1/+1
* | Make beam_validator track type formation for binary operationsMichal Muskala2017-04-221-8/+8
* | compiler: Add is_tagged_tuple instructionBjörn-Egil Dahlberg2017-03-241-0/+3
* | Add specs for the beam_*:module/2 functionsBjörn Gustavsson2017-01-121-0/+4
* | Support math:fmod/2 BIF on compilerGuilherme Andrade2016-11-021-0/+1
* | beam_validator: Correct reporting of y register numberBjörn Gustavsson2016-09-211-1/+1
* | Merge branch 'maint'Björn Gustavsson2016-09-141-1/+3
|\ \
| * | beam_validator: Handle unreachable instructionsBjörn Gustavsson2016-09-131-1/+3
* | | Add math:floor/1 and math:ceil/1Björn Gustavsson2016-09-051-0/+2
* | | Implement the new ceil/1 and floor/1 guard BIFsBjörn Gustavsson2016-09-051-0/+2
|/ /
* | Eliminate crash for map updates in guardsBjörn Gustavsson2016-06-021-1/+3
* | beam_validator: Strengthen validation of match statesBjörn Gustavsson2016-05-311-24/+56
* | beam_validator: Use a record representing the match contextBjörn Gustavsson2016-05-311-14/+20
* | beam_validator: Add is_bitstring/1 as a safe BIFBjörn Gustavsson2016-05-301-0/+1
* | beam_validator: Remove uncovered lineBjörn Gustavsson2016-05-301-1/+0
* | beam_validator: Handle cons literals betterBjörn Gustavsson2016-05-201-0/+2
* | beam_validator: Keep better track of tuple literalsBjörn Gustavsson2016-05-201-2/+9
* | Merge branch 'henrik/update-copyrightyear'Henrik Nord2016-04-131-1/+1
|\ \
| * | update copyright-yearHenrik Nord2016-03-151-1/+1
* | | Remove unreachable code after 'raise' instructionsBjörn Gustavsson2016-04-081-0/+3
|/ /
* | beam_validator: Don't allow an 'undefined' entry label in a functionBjörn Gustavsson2015-11-161-1/+1
* | beam_validator: Remove obsolete DEBUG supportBjörn Gustavsson2015-11-161-24/+0
* | Merge branch 'maint'Björn-Egil Dahlberg2015-09-071-2/+23
|\ \
| * | compiler: Add extra checks for get_map_elements in validatorBjörn-Egil Dahlberg2015-09-041-2/+23
| |/
* | beam_validator: Don't allow x(1023) to be usedBjörn Gustavsson2015-08-211-13/+18
|/
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* beam_validator: Stop validating the 'aligned' flag for binariesBjörn Gustavsson2015-04-291-79/+20
* beam_validator: Clean up updating of types for y registerBjörn Gustavsson2015-04-291-39/+26
* beam_validator: Remove support for removed BIF fault/1,2Björn Gustavsson2015-04-231-2/+0
* beam_validator: Correct merging of statesBjörn Gustavsson2015-04-231-2/+2
* beam_validator: Correct merging of y registersBjörn Gustavsson2015-04-231-13/+17
* beam_validator: No longer require strict literal term orderBjörn Gustavsson2015-04-131-15/+11
* beam_validator: Tighten tests of mapsBjörn Gustavsson2015-03-091-5/+15
* Introduce '%live' annotations with a complete register mapBjörn Gustavsson2015-03-091-3/+0
View Lorry Controller Status