Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064060175> ?p ?o ?g. }
- W2064060175 endingPage "801" @default.
- W2064060175 startingPage "792" @default.
- W2064060175 abstract "C makes it easy to misuse integer types; even mature programs harbor many badly-written integer code. Traditional approaches at best detect these problems; they cannot guide developers to write correct code. We describe three program transformations that fix integer problems - one explicitly introduces casts to disambiguate type mismatch, another adds runtime checks to arithmetic operations, and the third one changes the type of a wrongly-declared integer. Together, these transformations fixed all variants of integer problems featured in 7,147 programs of NIST's SAMATE reference dataset, making the changes automatically on over 15 million lines of code. We also applied the transformations automatically on 5 open source software. The transformations made hundreds of changes on over 700,000 lines of code, but did not break the programs. Being integrated with source code and development process, these program transformations can fix integer problems, along with developers' misconceptions about integer usage." @default.
- W2064060175 created "2016-06-24" @default.
- W2064060175 creator A5038934215 @default.
- W2064060175 creator A5060527236 @default.
- W2064060175 date "2013-05-18" @default.
- W2064060175 modified "2023-09-27" @default.
- W2064060175 title "Program transformations to fix C integers" @default.
- W2064060175 cites W127238549 @default.
- W2064060175 cites W1506510492 @default.
- W2064060175 cites W1514298952 @default.
- W2064060175 cites W1531991464 @default.
- W2064060175 cites W1536898727 @default.
- W2064060175 cites W1542462119 @default.
- W2064060175 cites W1558044546 @default.
- W2064060175 cites W1571028866 @default.
- W2064060175 cites W157156687 @default.
- W2064060175 cites W1588398995 @default.
- W2064060175 cites W1600965014 @default.
- W2064060175 cites W1794765803 @default.
- W2064060175 cites W2029753690 @default.
- W2064060175 cites W2051634947 @default.
- W2064060175 cites W2123527946 @default.
- W2064060175 cites W2129538349 @default.
- W2064060175 cites W2130908989 @default.
- W2064060175 cites W2136405243 @default.
- W2064060175 cites W2150230300 @default.
- W2064060175 cites W2153887189 @default.
- W2064060175 cites W2156858199 @default.
- W2064060175 cites W2163010250 @default.
- W2064060175 cites W2168096831 @default.
- W2064060175 cites W2253113774 @default.
- W2064060175 cites W3142903977 @default.
- W2064060175 cites W3151395068 @default.
- W2064060175 doi "https://doi.org/10.5555/2486788.2486892" @default.
- W2064060175 hasPublicationYear "2013" @default.
- W2064060175 type Work @default.
- W2064060175 sameAs 2064060175 @default.
- W2064060175 citedByCount "29" @default.
- W2064060175 countsByYear W20640601752013 @default.
- W2064060175 countsByYear W20640601752014 @default.
- W2064060175 countsByYear W20640601752015 @default.
- W2064060175 countsByYear W20640601752016 @default.
- W2064060175 countsByYear W20640601752017 @default.
- W2064060175 countsByYear W20640601752018 @default.
- W2064060175 countsByYear W20640601752019 @default.
- W2064060175 countsByYear W20640601752020 @default.
- W2064060175 countsByYear W20640601752021 @default.
- W2064060175 crossrefType "proceedings-article" @default.
- W2064060175 hasAuthorship W2064060175A5038934215 @default.
- W2064060175 hasAuthorship W2064060175A5060527236 @default.
- W2064060175 hasConcept C111219384 @default.
- W2064060175 hasConcept C11413529 @default.
- W2064060175 hasConcept C177264268 @default.
- W2064060175 hasConcept C199360897 @default.
- W2064060175 hasConcept C199519371 @default.
- W2064060175 hasConcept C204321447 @default.
- W2064060175 hasConcept C2776760102 @default.
- W2064060175 hasConcept C2777904410 @default.
- W2064060175 hasConcept C2778361913 @default.
- W2064060175 hasConcept C41008148 @default.
- W2064060175 hasConcept C56086750 @default.
- W2064060175 hasConcept C80444323 @default.
- W2064060175 hasConcept C97137487 @default.
- W2064060175 hasConcept C98045186 @default.
- W2064060175 hasConceptScore W2064060175C111219384 @default.
- W2064060175 hasConceptScore W2064060175C11413529 @default.
- W2064060175 hasConceptScore W2064060175C177264268 @default.
- W2064060175 hasConceptScore W2064060175C199360897 @default.
- W2064060175 hasConceptScore W2064060175C199519371 @default.
- W2064060175 hasConceptScore W2064060175C204321447 @default.
- W2064060175 hasConceptScore W2064060175C2776760102 @default.
- W2064060175 hasConceptScore W2064060175C2777904410 @default.
- W2064060175 hasConceptScore W2064060175C2778361913 @default.
- W2064060175 hasConceptScore W2064060175C41008148 @default.
- W2064060175 hasConceptScore W2064060175C56086750 @default.
- W2064060175 hasConceptScore W2064060175C80444323 @default.
- W2064060175 hasConceptScore W2064060175C97137487 @default.
- W2064060175 hasConceptScore W2064060175C98045186 @default.
- W2064060175 hasLocation W20640601751 @default.
- W2064060175 hasOpenAccess W2064060175 @default.
- W2064060175 hasPrimaryLocation W20640601751 @default.
- W2064060175 hasRelatedWork W1475493299 @default.
- W2064060175 hasRelatedWork W1506510492 @default.
- W2064060175 hasRelatedWork W1536898727 @default.
- W2064060175 hasRelatedWork W1977696633 @default.
- W2064060175 hasRelatedWork W2016027000 @default.
- W2064060175 hasRelatedWork W2019730517 @default.
- W2064060175 hasRelatedWork W2060333670 @default.
- W2064060175 hasRelatedWork W2061575154 @default.
- W2064060175 hasRelatedWork W2076719273 @default.
- W2064060175 hasRelatedWork W2099866050 @default.
- W2064060175 hasRelatedWork W2122947685 @default.
- W2064060175 hasRelatedWork W2145124323 @default.
- W2064060175 hasRelatedWork W2145373440 @default.
- W2064060175 hasRelatedWork W2151497118 @default.
- W2064060175 hasRelatedWork W2153881107 @default.
- W2064060175 hasRelatedWork W2156723666 @default.
- W2064060175 hasRelatedWork W2274071363 @default.