repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
show_unreachable: format changes fixup
2012-02-01
Dan Carpenter
sho
w
_unreacha
b
l
e
: format ch
a
nges fixup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Ca
r
p
e
nter
db: re
m
ove an
u
nne
e
de
d
#include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan C
a
r
penter
tree wide: change
outpu
t
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
redundant_null_check: make some varia
b
les static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
Dan Carpenter
extra:
uninitialized var
i
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpenter
co
n
ditions: add a __pass_to_client(exp
r
, LOGIC_HOOK)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Da
n
Carp
e
nte
r
ove
r
flow: don't complain
a
bo
u
t c
h
eck
s
after use
,
inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Car
p
enter
db: don't increment the func_id too much
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpen
t
er
db:
t
u
rn synchr
o
nization off and use a bigger cache_size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan C
a
rpen
t
er
*ne
w
* lo
g
ic
a
l_instead_of_bitwise: places that use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpen
t
er
s
m
atch*: checkp
a
tch
.
p
l
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err_
p
tr_deref
:
handle PTR_RET()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n
C
arpen
t
er
v
a
lidati
o
n:
remove out
of date sm_loc
k
ing5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
core: handle foo
+= bar ?
1
: 0; e
x
p
ressions diffe
r
ently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Ca
r
penter
extra: do
n
'
t
disca
r
d cast
.
s
t
ri
p
_
e
xpr(
)
=>
s
trip_
p
aren
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpent
e
r
extra: cleanup:
s
huffle c
o
de aro
u
nd
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carp
e
n
t
e
r
e
xtra
:
d
o
n'
t
remov
e
c
asts,
those are important
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
debug
:
fix
s
ome small memory
l
eaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpenter
l
o
cki
n
g:
r
emov
e
some fals
e
positiv
e
-y
func
t
ions without
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n
C
a
rpenter
locking: add so
m
e
more l
o
c
k n
a
me variations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
D
an Carpen
t
er
db: caller in
f
o
need
s
to record th
e
-1
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math: fix typo in c
o
m
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpente
r
*new* bogus_i
r
qre
s
t
o
re: don't
r
e
s
t
ore ir
q
s
t
ate before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan C
a
rpenter
*
new*
ch
e
ck_wait_for_commo
n
:
make
s
ure the retu
r
n is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
ty
p
e:
a
dd
e
xpr_uns
i
gned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
db:
p
a
ss &foo
type
p
arameter
information to
called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
enter
math: d
o
math for get_implied_min/
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
h
e
l
per:
w
hen dis
p
layin
g
sizeo
f
() information use by
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
C
a
r
p
enter
capped: track
c
a
p
ped v
a
r
i
a
b
les across function
b
oundaries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debug: add __smatch_implied_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
math
:
w
h
ite spa
c
e c
h
an
g
es
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save functio
n
pointers saved in
a
rrays
o
f structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db/fu
n
ction_
p
tr:
c
lear the correct ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Ca
r
penter
db: remov
e
untrusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpe
n
t
e
r
extra: unops don't
n
orma
l
ly
c
hange the va
l
ue of a variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
tiny
white
spa
c
e
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
D
a
n
C
a
rpenter
uncapped_allo
c
: delete
this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
C
ar
p
e
n
ter
he
l
per: re
m
ove bogus par
e
n
s from get_variab
l
e
_
from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
update smatc
h
_dat
a
for 3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow c
h
e
ck_debug
.
h to be
included
m
ore tha
n
once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan
C
a
r
p
enter
core: add
-
-file-out
p
u
t
v
aria
b
l
e
f
or make -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpen
t
er
smatch_extra: cle
a
r
o
ut st
r
u
c
t
mem
b
ers if a the
pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Da
n
Carpenter
extra: fix crashing bug from l
a
st commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra
:
express
i
ons are equiva
l
ent even if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpent
e
r
u
s
er_data
:
use is_capped(
)
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carp
e
nter
user_data: h
a
ndle
b
inops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*
n
ew* smat
c
h_cappe
d
: introduc
e
is_ca
p
ped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
D
an Carpenter
*
n
ew*
c
h
e
ck
_
user_
d
ata:
r
ecord al
l
t
he
user
d
ata (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Carpenter
buf_size
:
there was a mistake in han
d
ling call
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_size: record the size
o
f
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
extra
:
clea
n
up: us
e
my_id
i
nstead of SMATCH_E
X
TRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
r
p
enter
db: wrong paramete
r
number
in s
t
ruct memb
e
r callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
e
xtra: don't prin
t
an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
db: limit the numb
e
r of function po
i
nter call
s
w
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, ext
r
a: introduce add_member_info
_
c
a
l
lback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra,
d
b: record a dumm
y
output
f
or eve
r
y f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
d
b: use
op
t
ion_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
arpenter
ext
r
a, db: move
s
o
me db
fu
n
ctions fro
m
sm
a
tch
_
extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
b
u
f_s
i
ze: ha
n
dle function pointers as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Ca
r
penter
db: follow calls to functions p
o
inters as we
l
l as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set position for glo
b
al
variabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
signed:
allow checks like:
if (fo
o
< 0 || f
o
o > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
over
f
lo
w
:
get rid o
f
"buffer overflow
c
alling %s
.
p
aram
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Car
p
ente
r
g
et rid
of --pr
i
nt_returns optio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpenter
extra, d
b
: we have to rec
o
r
d every
fun
c
ti
o
n call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
pe
n
ter
ranges: invali
d
ranges de
f
ault
to
the
who
l
e
rang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
C
arpenter
signed
:
d
o
n't warn about unsigned
c
o
m
p
a
riso
n
s to ma
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
C
a
r
p
ente
r
extra, db: rec
o
rd th
e
stru
c
t m
e
mber values in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpente
r
e
xtr
a
: fix parsi
n
g of valu
e
s from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill_db_untrusted: fol
l
ow untrusted data
d
own t
h
e call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carp
e
nter
ex
t
ra
:
d
o
n't print if
t
he min-max
a
s
t
he value passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
ranges: introdu
c
e is_whole_
r
ange_rl() and
fix
is_whole_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
en
t
er
db:
u
se the func
t
ion_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
fill_db_cal
l
er_info: ca
l
cu
l
ate funct
i
o
n_id correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
debug: a
d
d a
__smatch_possible("variable") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
uncapped_alloc: use _complex
(
) version of get_variable_from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
a
r
pen
t
er
extra: db:
p
u
t
sin
g
le quotes around the f
u
nction name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
*new*
smatch_scripts/fo
l
low_par
a
ms
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
hooks: remove some comm
e
nted out c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
sql: snprintf() nu
l
termin
a
tes its
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
e
r
d
b: mov
e
buf_size
to the new
add_def
i
n
i
ti
o
n
_db_c
a
llback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
db:
i
ntrodu
c
e add_defini
t
ion_db_
c
allb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpe
n
ter
db: store
t
he
v
alues of
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
db
:
make database code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpent
e
r
*new* min_t
(
)
casting that truncates the val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan C
a
r
penter
*ne
w
* rose
n
be
r
g: check
f
o
r
infor
m
ati
o
n
lea
k
s from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tweak the ->pos setting for fake assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow:
whit
e
spac
e
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carp
e
nter
fl
o
w: pass condition assignm
e
n
t
s
t
o
clients with ASSIGNMENT_
H
OO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpe
n
t
e
r
n
o
_effect: add
s
o
me more t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree