All I recall offhand about crocodiles is from the song in Disney's movie "Peter Pan" (I think)

"Never smile at a crocodile,
Don't be taken in by his friendly grin...."

....sung by Captain Hook who had his hand bitten off by a croc. The hand, at the time, held a clock so that now Captain can hear the approach of the croc by the ticking!