Verifizer

From Just Solve the File Format Problem
Jump to: navigation, search
File Format
Name Verifizer
Ontology
Released 1985

Verifizer is a type-in program checker for Commodore used by Transactor magazine.

There were five separate versions for PET/CBM, VIC/C64, Plus 4, C128, and B128.

Verigen is the companion program to create program listings.

Every time you press RETURN on a program line, a two-letter report code will appear on the top left of the screen that can be matched against the code in the listing.

It uses a 'weighted checksum technique' that will catch transposition errors but can be fooled if you try hard enough (transpose two sets of 4 characters). The weights 1,2,3,4 are assigned to the tokenised BASIC line, and the low byte of the line number is added in. In other words, a checksum is obtained by taking the line number low byte, adding 1 times the first byte in the BASIC line, 2 times the second, 3 times the third, 4 times the fourth, the 1 times the fifth, etc. The final checksum is a two byte unsigned integer. The high byte is discarded, and the low and high nybbles of the low byte are used to form the two report code characters. Since only the low byte is used, checksum variances of exact multiples of 256 will not be detected.

It ignores spaces and standard keywords (like nE instead of next) will not affect the report code.


Sample Output

Verifizer.jpg


Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox