Description of changes:
Generate pointer alias analysis report using points-to set metric information from CBMC. Takes json output obtained from cbmc --show-points-to-sets and generates a html report describing size and contents of the points-to sets for pointer dereference as recorded by CBMC.
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: Generate pointer alias analysis report using points-to set metric information from CBMC. Takes json output obtained from cbmc --show-points-to-sets and generates a html report describing size and contents of the points-to sets for pointer dereference as recorded by CBMC.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.