Frama-C Bug Tracking System - Frama-C
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0001562Frama-CPlug-in > obfuscatorpublic2013-11-21 13:382014-03-13 15:57
Reporterpatrick 
Assigned Tosignoles 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFrama-C Neon-20140301Fixed in VersionFrama-C Neon-20140301 
Summary0001562: Obfuscator for C Labels
DescriptionC Label names to to be obfuscated.
Additional Information> frama-c -obfuscate file.c
int main(int f1)
{
  int V1;
  V1 = 0;
  if (f1) goto end;
  V1 ++;
  end: ;
  return V1;
}
TagsNo tags attached.
Relationships
Attached Files

Notes
(0004547)
signoles   
2014-02-12 16:57   
Fix committed to stable/neon branch.

Issue History
Date ModifiedUsernameFieldChange
2013-11-21 13:38patrickNew Issue
2013-11-21 13:38patrickStatusnew => assigned
2013-11-21 13:38patrickAssigned To => signoles
2013-11-21 13:59signolesStatusassigned => confirmed
2013-11-21 13:59signolesTarget Version => Frama-C Neon-20140301
2013-12-02 16:15svn
2013-12-02 16:15svnStatusconfirmed => resolved
2013-12-02 16:15svnResolutionopen => fixed
2013-12-19 01:11signolesSource_changeset_attached => framac master 542ef384
2014-02-12 16:53signolesSource_changeset_attached => framac stable/neon 542ef384
2014-02-12 16:57signolesNote Added: 0004547
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed