2021-02-24 18:35 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001562Frama-CPlug-in > obfuscatorpublic2014-03-13 15:57
Reporterpatrick 
Assigned Tosignoles 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusclosedResolutionfixed 
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.
Attached Files

-Relationships
+Relationships

-Notes

~0004547

signoles (manager)

Fix committed to stable/neon branch.
+Notes

-Issue History
Date Modified Username Field Change
2013-11-21 13:38 patrick New Issue
2013-11-21 13:38 patrick Status new => assigned
2013-11-21 13:38 patrick Assigned To => signoles
2013-11-21 13:59 signoles Status assigned => confirmed
2013-11-21 13:59 signoles Target Version => Frama-C Neon-20140301
2013-12-02 16:15 svn
2013-12-02 16:15 svn Status confirmed => resolved
2013-12-02 16:15 svn Resolution open => fixed
2013-12-19 01:11 signoles Source_changeset_attached => framac master 542ef384
2014-02-12 16:53 signoles Source_changeset_attached => framac stable/neon 542ef384
2014-02-12 16:57 signoles Note Added: 0004547
2014-03-13 15:56 signoles Fixed in Version => Frama-C Neon-20140301
2014-03-13 15:57 signoles Status resolved => closed
+Issue History