Description of changes:
Add module to generate byte op metric report using CBMC output produced by --show-byte-ops. Takes a json file as input and generates a html report with number of extract/update operations, SSA expr and source location corresponding to each extract/update.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available:
Description of changes: Add module to generate byte op metric report using CBMC output produced by --show-byte-ops. Takes a json file as input and generates a html report with number of extract/update operations, SSA expr and source location corresponding to each extract/update.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.